16.410/13 Fall 2016 Wiki

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

====== Using Numberjack ======

[[http://numberjack.ucc.ie/|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).

<code>
sudo apt-get update
sudo update_intro_to_autonomy
</code>

(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 [[http://numberjack.ucc.ie/doc/ | documentation page]]. In particular check the [[http://numberjack.ucc.ie/doc/globalcons.html|Global Constraints page]] to see the kind of constraints that Numberjack lets you specify very easily.

16.410/13 Fall 2016 Wiki

User Tools

Site Tools

Page Tools