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 8 articles )
Showing results 1 to 8 of 8.
- Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: SUNNY-CP and the MiniZinc challenge (2018)
- Schiendorfer, Alexander; Knapp, Alexander; Anders, Gerrit; Reif, Wolfgang: MiniBrass: soft constraints for MiniZinc (2018)
- Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: Portfolio approaches for constraint optimization problems (2016)
- Hurley, Barry; O’Sullivan, Barry; Allouche, David; Katsirelos, George; Schiex, Thomas; Zytnicki, Matthias; de Givry, Simon: Multi-language evaluation of exact solvers in graphical model discrete optimization (2016)
- Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo: Why CP portfolio solvers are (under)utilized? issues and challenges (2015)
- 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) ioport
- Hebrard, Emmanuel; O’Mahony, Eoin; O’Sullivan, Barry: Constraint programming and combinatorial optimisation in Numberjack (2010) ioport