ortools
Project
https://code.google.com/p/ortools/
This project hosts operations research tools developed at Google and made available as open source.
1727 views
 
http://eclipseclp.org/
ECLiPSe is an opensource software system for the costeffective development and deployment of const...
2430 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...
1734 views
 
http://www.cs.washington.edu/research/constraints/cassowary/
Cassowary is an incremental constraint solving toolkit that efficiently solves systems of linear equ...
1818 views
 
http://www.cs.washington.edu/research/constraints/deltablue/
DeltaBlue is an efficient, incremental local propagation constraint solver.
1732 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.
1741 views
 
http://sourceforge.net/projects/stpfastprover/
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constra...
2140 views
 
JConstraints
Project
Framework
http://sourceforge.net/projects/jconstraints
JConstraints is a Java Framework that enables implementations of advanced solutions for combinatoria...
805 views
 
IBEX
Project
http://www.ibexlib.org/
IBEX is a C++ library for constraint processing over real numbers.
It provides reliable algorithms ...
762 views
 
DisChoco
Project
Library
http://dischoco.sourceforge.net/
DisChoco is a Java library platform for solving Distributed Constraints Reasoning (DCR) problems. It...
793 views
