22 results in "Constraint-Based Reasoning"
|
or-tools
Project
https://code.google.com/p/or-tools/
This project hosts operations research tools developed at Google and made available as open source.
2052 views
Submitted by
on Jul 26 2014 | |
|
http://eclipseclp.org/
ECLiPSe is an open-source software system for the cost-effective development and deployment of const...
2946 views
Submitted by
on Jul 26 2014 | |
|
MINION
Code
http://minion.sourceforge.net/
MINION is a new constraint solver, which is very fast and scales well as problem size increases. Emp...
2024 views
Submitted by
on Jul 26 2014 | |
|
http://www.cs.washington.edu/research/constraints/cassowary/
Cassowary is an incremental constraint solving toolkit that efficiently solves systems of linear equ...
2136 views
Submitted by
on Jun 18 2014 | |
|
http://www.cs.washington.edu/research/constraints/deltablue/
DeltaBlue is an efficient, incremental local propagation constraint solver.
2017 views
Submitted by
on Jun 18 2014 | |
|
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.
2043 views
Submitted by
on Jun 18 2014 | |
|
http://sourceforge.net/projects/stp-fast-prover/
STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constra...
2457 views
Submitted by
on Jun 18 2014 | |
|
JConstraints
Project
Framework
http://sourceforge.net/projects/jconstraints
JConstraints is a Java Framework that enables implementations of advanced solutions for combinatoria...
1110 views
Submitted by
on Oct 07 2015 | |
|
IBEX
Project
http://www.ibex-lib.org/
IBEX is a C++ library for constraint processing over real numbers.
It provides reliable algorithms ...
1094 views
Submitted by
on Oct 05 2015 | |
|
DisChoco
Project
Library
http://dischoco.sourceforge.net/
DisChoco is a Java library platform for solving Distributed Constraints Reasoning (DCR) problems. It...
1118 views
Submitted by
on Sep 30 2015 |