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 as egg files, that is, seamlessly and efficiently. Currently, there are four available back-ends: a MIP solver (SCIP), two SAT solvers (MiniSat) and (Walksat) and CP solver (Mistral).
Keywords for this software
References in zbMATH (referenced in 4 articles )
Showing results 1 to 4 of 4.
- Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: Portfolio approaches for constraint optimization problems (2016)
- Akplogan, Mahuna; De Givry, Simon; Métivier, Jean-Philippe; Quesnel, Gauthier; Joannon, Alexandre; Garcia, Frédérick: Solving the crop allocation problem using hard and soft constraints (2013)
- Hart, William E.; Watson, Jean-Paul; Woodruff, David L.: Pyomo: modeling and solving mathematical programs in python (2011)
- Hebrard, Emmanuel; O’Mahony, Eoin; O’Sullivan, Barry: Constraint programming and combinatorial optimisation in Numberjack (2010)