http://www.cs.washington.edu/research/constraints/cassowary/
Cassowary is an incremental constraint solving toolkit that efficiently solves systems of linear equ...
829 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...
750 views
 
ortools
Project
https://code.google.com/p/ortools/
This project hosts operations research tools developed at Google and made available as open source.
760 views
 
http://sourceforge.net/projects/stpfastprover/
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constra...
1098 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.
754 views
 
http://eclipseclp.org/
ECLiPSe is an opensource software system for the costeffective development and deployment of const...
788 views
 
http://www.cs.washington.edu/research/constraints/deltablue/
DeltaBlue is an efficient, incremental local propagation constraint solver.
769 views
 
http://kti.mff.cuni.cz/~bartak/html/constraints.html
Implements a generalized algorithm for solving constraint hierarchies.
713 views
 
http://kti.mff.cuni.cz/~bartak/html/constraints.html
Implements a plugin architecture for Hierarchical Constraint Logic Programming (HCLP).
830 views
 
http://aispace.org/search/
Tool designed to help user learn about different search strategies
2180 views
