• SCIP

  • Referenced in 536 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • Mosel

  • Referenced in 37 articles [sw04911]
  • Xpress-Mosel. Multi-solver, multi-problem, multi-model...
  • MiniZinc

  • Referenced in 85 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • Gecode

  • Referenced in 82 articles [sw06272]
  • Gecode is a toolkit for developing constraint-based...
  • GCG

  • Referenced in 23 articles [sw10533]
  • GCG is a generic branch-cut-and-price...
  • CHUFFED

  • Referenced in 15 articles [sw24724]
  • Chuffed, a lazy clause generation solver: lazy clause...