Directory: Top/Computers/Programming/Languages/Constraint

Top / Computers / Programming / Languages / Constraint /

Choco
Java library for constraint satisfaction problems (CSP), constraint programming (CP), explanation-based constraint solving (e-CP). Built on event-based propagation mechanism with backtrackable structures. [Open Source, BSD]
http://choco-solver.net
Choco-solver.net ~ Site Info Whois Trace Route RBL Check

Constraints: An International Journal
Covering all aspects of computing with constraints; on paper or online; fee required.
http://www.springer.com/computer/artificial/journal/10601
Springer.com ~ Site Info Whois Trace Route RBL Check

Book: Foundations of Constraint Satisfaction
Description of book, Academic Press, release 1993: programs from book.
http://www.bracil.net/edward/FCS.html
Bracil.net ~ Site Info Whois Trace Route RBL Check

ILOG CP
Constraint-programming optimization engine, providing cutting-edge optimization technology and an optimization library for workforce scheduling, league scheduling, sequencing, configuration, dispatching and resource-allocation applications with logical c
http://www.ilog.com/products/cp/
Ilog.com ~ Site Info Whois Trace Route RBL Check

FSQP: Feasible Sequential Quadratic Programming
By AEM Design: a source code for minimizing the maximum of a set of smooth objective functions subject to general smooth constraints. Two versions, written in portable: Fortran 77 (FFSQP), standard C (CFSQP). Both are tested and run on most platforms.
http://www.aemdesign.com/FSQPwhatis.htm
Aemdesign.com ~ Site Info Whois Trace Route RBL Check

Graph Theory and Constraint Programming
University course: definitions, lecture notes, books, language descriptions, links.
http://www.cs.adfa.edu.au/~gtc/GTC/welcome.html
Adfa.edu.au ~ Site Info Whois Trace Route RBL Check

ResearchIndex: Kaleidoscope: A Constraint Imperative Programming Language
The Constraint Imperative Programming CIP family of languages integrates constraints and imperative, object oriented programming. Besides merging useful features of both paradigms, such integration has synergistic effects.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.1523
Psu.edu ~ Site Info Whois Trace Route RBL Check

Garnet: Multi-Garnet: Integrating Multi-Way Constraints with Garnet
ResearchIndex: Constraints provide a useful mechanism to maintain relations in user interface toolkits. Garnet is a widely used user interface toolkit with high functionality, based on one way, required constraints. Multi-Garnet extends this by adding su
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.53.6287
Psu.edu ~ Site Info Whois Trace Route RBL Check

MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems
ResearchIndex: In the last 20 years, many algorithms and heuristics were developed to find solutions in constraint networks. Their number increased so much that it quickly became vital to compare performance to propose a small number of good methods.
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.4042
Psu.edu ~ Site Info Whois Trace Route RBL Check