CSPLib using the Choco Solver

In this repository are some solutions for problems from CSPLib implemented in Java using the Choco solver.

Running the project

You just need to clone the project and download and install the choco-solver (instructions here).

Implemented Problems

Here is a list of the currently implemented problems:

• 006: Golomb Rulers - GolombRulers.java
• 007: All-Interval Series - AllIntervals.java
• 054: N-Queens - NQueens.java