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)
Csp-Solver can be installed via pip from this repository.
pip install git+http://github.com/dmr/csp-solver.git#egg=csp_solver
In addition to the python package, an installation of minisat2 is needed in PATH (or passed to CLI).
A version of minisat2 can be obtained from
wget http://minisat.se/downloads/minisat2-070721.zip
To compile a minisat binary, follow:
unzip minisat2-070721.zip && cd minisat/core && make
Test the installation
wget http://github.com/dmr/csp-solver/raw/master/tests/simple_example_solvable.csp
wget http://github.com/dmr/csp-solver/raw/master/tests/sugar-v1-15-0.jar
csp_solver.py -c simple_example_solvable.csp --sugar-jar sugar-v1-15-0.jar
git clone http://github.com/dmr/csp-solver.git
cd csp_solver
python setup.py test
python setup.py develop
The real work here was done by the development teams of sugar (http://bach.istc.kobe-u.ac.jp/sugar/) and minisat2 (https://github.com/niklasso/minisat.git). Thank you for your work!