• MiniZinc

  • Referenced in 77 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language. It is high-level enough to express...
  • Gecode

  • Referenced in 63 articles [sw06272]
  • interactive graphical, restarts); automatic symmetry breaking (LDSB); MiniZinc support; and many more. efficient Gecode offers ... gold medals in all categories at the MiniZinc Challenges from...
  • JaCoP

  • Referenced in 19 articles [sw06307]
  • research, teaching, and industry. We participated in Minizinc Challenge and our solver has been awarded...
  • FlatZinc

  • Referenced in 8 articles [sw06262]
  • MiniZinc is a medium-level constraint modelling language. It is high-level enough to express ... language that is the target language for MiniZinc. It is designed to be easy...
  • SUNNY

  • Referenced in 11 articles [sw31800]
  • Empirical tests conducted on exhaustive benchmarks of MiniZinc models show that the actual performance...
  • fzn2smt

  • Referenced in 4 articles [sw13501]
  • Only the alldifferent and cumulative MiniZinc global constraints are supported (encoding them into...
  • sunny-cp

  • Referenced in 4 articles [sw31181]
  • competitive also in the MiniZinc Challenge, the reference competition for CP solvers...
  • iZplus

  • Referenced in 3 articles [sw21855]
  • iZplus (fzn_izplus) -- iZ based solver for MiniZinc Challenge 2016. fzn_izplus is a FlatZinc...
  • MiniSearch

  • Referenced in 3 articles [sw23233]
  • solver-independent meta-search language for MiniZinc. Much of the power of CP comes from...
  • MiniBrass

  • Referenced in 1 article [sw31298]
  • MiniBrass: soft constraints for MiniZinc. Over-constrained problems are ubiquitous in real-world decision ... that is implemented as an extension of MiniZinc and MiniSearch. We first demonstrate the adequacy ... transform PVS. MiniBrass models are compiled into MiniZinc to benefit from the wide range ... FlatZinc. We evaluated MiniBrass on 28 “softened” MiniZinc benchmark problems with six different solvers...
  • MiniSat

  • Referenced in 536 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • SCIP

  • Referenced in 472 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • CP-nets

  • Referenced in 135 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • COMET

  • Referenced in 72 articles [sw03051]
  • Constraint-Based Local Search. The ubiquity of combinatorial...
  • ANTLR

  • Referenced in 58 articles [sw03062]
  • ANTLR (ANother Tool for Language Recognition) is a...
  • Choco

  • Referenced in 62 articles [sw06254]
  • CHOCO is a java library for constraint satisfaction...
  • ToulBar2

  • Referenced in 22 articles [sw07289]
  • Toulbar2 is an exact discrete optimization c++ open...
  • OscaR

  • Referenced in 15 articles [sw09908]
  • OscaR is a Scala toolkit for solving Operations...