samples
Choco-solver in practice
This project hosts samples based on choco-solver.
To run a sample, please follow the steps:
-
Download the source code of samples
-
Download choco-solver-4.0.1.zip and unzip it
-
Go to the
samples
directory and create a directory namedlib
and another namedclasses
-
Copy/paste
choco-solver-4.0.1-with-dependencies.jar
intolib
-
In a console, compile a sample, for instance
Nonogram.java
:javac -d classes \ -sourcepath ./src/main/java/ \ -cp .:\ lib/choco-solver-4.0.1-with-dependencies.jar \ src/main/java/org/chocosolver/samples/integer/Nonogram.java
-
Then run the resolution, with the optional arguments
-f -d rabbit
:java -cp classes:\ lib/choco-solver-4.0.1-with-dependencies.jar \ org.chocosolver.samples.integer.Nonogram -f -d rabbit