ortools
Project
https://code.google.com/p/ortools/
This project hosts operations research tools developed at Google and made available as open source.
1910 views
 
http://eclipseclp.org/
ECLiPSe is an opensource software system for the costeffective development and deployment of const...
2750 views
 
MINION
Code
http://minion.sourceforge.net/
MINION is a new constraint solver, which is very fast and scales well as problem size increases. Emp...
1900 views
 
http://www.cs.washington.edu/research/constraints/cassowary/
Cassowary is an incremental constraint solving toolkit that efficiently solves systems of linear equ...
2000 views
 
http://www.cs.washington.edu/research/constraints/deltablue/
DeltaBlue is an efficient, incremental local propagation constraint solver.
1888 views
 
http://web.archive.org/web/20020802022005/http://http.cs.berkeley.edu/Research/Aiken/bane.html#1
BANE is a toolkit for constructing program analyses such as dataflow and type inference systems.
1904 views
 
http://sourceforge.net/projects/stpfastprover/
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constra...
2329 views
 
JConstraints
Project
Framework
http://sourceforge.net/projects/jconstraints
JConstraints is a Java Framework that enables implementations of advanced solutions for combinatoria...
979 views
 
IBEX
Project
http://www.ibexlib.org/
IBEX is a C++ library for constraint processing over real numbers.
It provides reliable algorithms ...
934 views
 
DisChoco
Project
Library
http://dischoco.sourceforge.net/
DisChoco is a Java library platform for solving Distributed Constraints Reasoning (DCR) problems. It...
966 views
