}
Advanced Search Tips
Constraint-Based Reasoning Editors: Open AI Resources
    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.
    1011 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...
    1070 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...
    1026 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...
    1085 views
    Submitted by on Jun 18 2014
    http://www.cs.washington.edu/research/constraints/deltablue/
    DeltaBlue is an efficient, incremental local propagation constraint solver.
    1000 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.
    1020 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...
    1377 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...
    56 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 ...
    52 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...
    53 views
    Submitted by on Sep 30 2015