Numberjack is a modelling package written in Python for constraint programming.

Numberjack let's you specify Constraint Satisfaction Problems very easily using Python. Numberjack then interfaces with multiple state of the art solvers to solve the problem and return the solution as a python object.

We will be using Numberjack for some of the assignments in the course.

Make sure to update your VM to install Numberjack. This update will take a significant amount of time this time (think about 10 min).

sudo apt-get update
sudo update_intro_to_autonomy

(Make sure that you run the apt-get update command first, otherwise the VM update may fail)

Numberjack is very easy to use, but we have included an example notebook to get you started.

Open the notebook(s) in the NumberjackExamples folder inside the example_notebooks folder in jupyter. You will find multiple example problems there.

If you want to learn more about Numberjack, you can also check its documentation page. In particular check the Global Constraints page to see the kind of constraints that Numberjack lets you specify very easily.