NumberJack
From MaRDI portal
Software:19444
swMATH7412MaRDI QIDQ19444FDOQ19444
Author name not available (Why is that?)
Cited In (7)
- SUNNY-CP and the MiniZinc challenge
- MiniBrass: soft constraints for MiniZinc
- Portfolio approaches for constraint optimization problems
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
- Introduction to Combinatorial Optimisation in Numberjack
- Solving the Crop Allocation Problem using Hard and Soft Constraints
- Multi-language evaluation of exact solvers in graphical model discrete optimization
This page was built for software: NumberJack
