Constraint Solving

Constraint Libraries

• Cacao (Constraint Library in C++)
  • http://sourceforge.net/projects/cacao
• C and C++ Constraint Library
  • http://www.hulubei.net/tudor/csp/
• Choco (JAVA )
  • http://choco.sourceforge.net
• Chorus3D: A geometric constraint library for 3D graphical applications
  • No working website to download but you can refer to the documentation at the following website
  • http://delivery.acm.org/10.1145/570000/569019/p94-hosobe.pdf?key1=569019&key2=1466433511&coll=GUIDE&dl=ACM&CFID=15151515&CFTOKEN=6184618
• Clixml (A schema validator for the CLiXML (Constraint Language in XML) schema constraint language.)
  • http://sourceforge.net/projects/clixml
  • OS Independent (Written in an interpreted language)
  • Availability: Free
• ‘C’ library of routines for solving binary constraint satisfaction problems
  • http://ai.uwaterloo.ca/~vanbeek/software/software.html
• ‘C’ library for constraint satisfaction problems – Peter van Beek
  • http://ai.uwaterloo.ca/~vanbeek/software/software.html
• Distributed Constraint Solver (C++)
  • http://research.microsoft.com/~youssefh/DisolverWeb/Disolver.html
• ECLiPSE (Prolog)
  • http://www.cs.jhu.edu/~jason/425/eclipse-doc/libman/libman.html
• EFC: C++ based constraint library
  • No working website to download but you can refer to the documentation at the following website musik für mac kostenlos downloaden.
  • http://www.cs.toronto.edu/~gkatsi/efc/README
• Elisa: C++ library implementing generic constraint algorithms
  • http://www.recherche.enac.fr/opti/facile/
  • All POSIX (Linux/BSD/UNIX-like OSes) , Linux, Free
• FaCiLe: A Functional Constraint Library (C++)
  • http://www.recherche.enac.fr/opti/facile/
  • Any operating system , free
• 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.
  • http://sourceforge.net/projects/felyx
• ILOG J-Solver: (JAVA)
  • http://www.ilog.com/products/jsolver/
• Java Constraints library
  • http://liawww.epfl.ch/JCL/
• Mecado (PHP) library provides an easy way to access database with XML mapping
  • http://sourceforge.net/projects/mecado
• OTI Constraint Solver
  • http://citeseer.ist.psu.edu/cache/papers/cs/17038/ftp:zSzzSzftp.cs.washington.eduzSzpubzSzconstraintszSzpaperszSzultraviolet-cp-95.pdf/borning95oti.pdf
• The pwan OCL library (C++) – implementation of the UML’s Object Constraint Language google sketchup herunterladen.
  • http://sourceforge.net/projects/pwan
• Screamer (LISP)
  • http://www.cis.upenn.edu/~screamer-tools/home.html
• Sicstus (PROLOG)
  • http://www.sics.se/isl/sicstuswww/site/index.html
• YACS – Yet another constraint solver (JAVA)
  • http://sourceforge.net/projects/constraints