dmr/csp-solver

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

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)

Installation

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

Development

git clone http://github.com/dmr/csp-solver.git
cd csp_solver
python setup.py test
python setup.py develop

Credits

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!