- Referenced in 536 articles
- SCIP is currently one of the fastest non...
- Referenced in 37 articles
- Xpress-Mosel. Multi-solver, multi-problem, multi-model...
- Referenced in 85 articles
- MiniZinc is a medium-level constraint modelling language...
- Referenced in 82 articles
- Gecode is a toolkit for developing constraint-based...
- Referenced in 23 articles
- GCG is a generic branch-cut-and-price...
- Referenced in 15 articles
- Chuffed, a lazy clause generation solver: lazy clause...