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