Constraint Solving by Martine Ceberio
Constraint Libraries
- Cacao (Constraint Library in C++)
- C and C++ Constraint Library
- Choco (JAVA )
- Chorus3D: A geometric constraint library for 3D graphical applications
- Clixml (A schema validator for the CLiXML (Constraint Language in XML) schema constraint language.)
- ‘C’ library of routines for solving binary constraint satisfaction problems
- ‘C’ library for constraint satisfaction problems – Peter van Beek
- Distributed Constraint Solver (C++)
- ECLiPSE (Prolog)
- EFC: C++ based constraint library
- Elisa: C++ library implementing generic constraint algorithms
- FaCiLe: A Functional Constraint Library (C++)
- Finite Element LibrarY eXperiment: C++ library that provides the most common elements for structural analysis, bandwidth reduction, a fast skyline solver, some iterative solvers and an interface to the commercial FEA package ANSYS gratis films en seriesen.
- ILOG J-Solver: (JAVA)
- Java Constraints library
- Mecado (PHP) library provides an easy way to access database with XML mapping
- OTI Constraint Solver
- The pwan OCL library (C++) – implementation of the UML’s Object Constraint Language google sketchup herunterladen.
- Screamer (LISP)
- Sicstus (PROLOG)
- YACS – Yet another constraint solver (JAVA)