My Numberjack page
Numberjack is a constraint programming systems written in Python. From the site:
Numberjack is a modelling package written in Python for constraint programming. Python benefits from a large and active programming community, Numberjack is therefore a perfect tool to embed CP technology into larger applications. It is designed to support a number of underlying C/C++ solvers seamlessly and efficiently. There are a number of available back-ends: three mixed integer programming solvers (Gurobi, CPLEX, and SCIP), satisfiability solvers (MiniSat, Walksat, and many others), a constraint programming solver (Mistral), and a weighted constraint satisfaction solver (Toulbar2).
- Numberjack offers a high level modelling platform.
- Numberjack directly benefits from Python's features and modules.
- Numberjack uses efficient underlying C/C++ solvers.
More information about Numberjack
My Numberjack models
Here are some of my Numberjack models. The models contains presentation of the problem, references (including links to comparison models in other constraint programming systems). Please note that some of them might not work in the current version of Numberjack.
Also, see my other pages about constraint programming systems:
* My Constraint Programming Blog
* Constraint Programming
* Common constraint programming problems
* My MiniZinc page
* My JaCoP page
* My JaCoP/Scala page
* My Choco page
* My Gecode page
* My Gecode/R page
* My Comet page
* My ECLiPSe page
* My Tailor/Essence' page
* My SICStus Prolog page
* My Google or-tools page
* My OscaR page
* My AIMMS+CP page
* My B-Prolog page
* My Choco3 page
* My Picat page
Back to my homepage
Created by Hakan Kjellerstrand email@example.com