There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
A wrapper library for python to solve a Constraint Satisfaction Problem with sugar (http://bach.istc.kobe-u.ac.jp/sugar/) and minisat2 (http://minisat.se/MiniSat.html)