Constraint Solver
Advertisement
DragonBreath Engine v.1.0
The DragonBreath Engine is a constraint solver based on local search.
Advertisement
ECLiPSe CLP v.1.0
The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
Ledas 2D Geometric Solver v.6.0
Ledas 2D Geometric Solver is a software engineered to support two-dimensional parametric sketching/drawing in CAD and computer graphics systems.
LEDAS 3D Geometric Solver v.5.0
It is commonly used as parametric engine for direct modeling of 3D geometry, assembly design, motion analysis, and other 3D geometric modeling applications.
Z3-2.12 v.2 1
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available.
Gecode for Linux v.3.7.1
Gecode is a toolkit for developing constraint-based systems and applications.
Gecode for Mac OS X v.3.7.1
Gecode is a toolkit for developing constraint-based systems and applications.
Gecode x64 v.3.7.1
Gecode is a toolkit for developing constraint-based systems and applications.
GNU Prolog v.1 4
GNU Prolog is a free Prolog compiler with constraint solving over finite domains. GNU Prolog accepts Prolog constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone.
GNU Prolog for Mac OS X v.1.4.2000
What is GNU Prolog GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz.
Z3-2.6 v.2 6
Z3 is a high-performance theorem prover being developed at Microsoft Research. Z3 supports linear real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers.