Results 1 to 7 of 7
Sort by:

  • 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...