Advanced Search Tips
Constraint-Based Reasoning Editors: Open AI Resources
    22 results in "Constraint-Based Reasoning"
    http://www.cs.washington.edu/research/constraints/cassowary/
    Cassowary is an incremental constraint solving toolkit that efficiently solves systems of linear equ...
    386 views
    Submitted by on Jun 18 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...
    331 views
    Submitted by on Jul 26 2014
    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.
    339 views
    Submitted by on Jul 26 2014
    http://sourceforge.net/projects/stp-fast-prover/
    STP (Simple Theorem Prover): a constraint solver/decision procedure that accepts formulas or constra...
    614 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.
    350 views
    Submitted by on Jun 18 2014
    http://eclipseclp.org/
    ECLiPSe is an open-source software system for the cost-effective development and deployment of const...
    350 views
    Submitted by on Jul 26 2014
    http://www.cs.washington.edu/research/constraints/deltablue/
    DeltaBlue is an efficient, incremental local propagation constraint solver.
    360 views
    Submitted by on Jun 18 2014
    http://kti.mff.cuni.cz/~bartak/html/constraints.html
    Implements a generalized algorithm for solving constraint hierarchies.
    330 views
    Submitted by on Jun 18 2014
    http://kti.mff.cuni.cz/~bartak/html/constraints.html
    Implements a plug-in architecture for Hierarchical Constraint Logic Programming (HCLP).
    354 views
    Submitted by on Jun 18 2014
    http://aispace.org/search/
    Tool designed to help user learn about different search strategies
    983 views
    Submitted by on Nov 15 2014