Constraint Programming Links
Associations and Conferences
Association for Constraint Programming (ACP)
CPAIOR
Conference Series
International Conference on Principles and Practice of Constraint Programming
Constraint Programming Online
Courses
Solving Complex Optimization Problems with Constraint Modeling Languages
by Stefano Gualandi
Global Constraint Catalog
by Nicolas Beldiceanu and Sophie Demassey (
Full List
) and (
CP Systems
)
ECLiPSE ELearning Website
by Helmut Simonis
ACP Summer School 2010
Course
by Marco Kuhlmann and Guido Tack (
Tutorial
on Gecode)
Course
by Christian Schulte (
CP talks
)
Francesca Rossi's Constraint Programming course
(in Italian)
Course
by Roman Bartak
Constraint Programming in Alice. A tutorial
Blogs
Constraint Applications Blog
by Helmut Simonis
Hakan's Constraint Programming Blog
CP standardization by Jacob Feldman
Problems and Data:
CSPLib
: a problem library for CP
Hakan's page on solution scripts to 242 CP problems
Constraint Systems
Live Catalogue of CP Tools
MiniZinc Challenges
Prolog Based Languages
ECLiPSe
(Open Source)
Prolog II till Prolog IV Colmerauer, 1990
CHIP V5
Dincbas, 1988
(commercial)
CLP(R)
Ciao Prolog
(Free, GPL)
GNU Prolog
(Free, GPL)
SICStus
Prolog
(commercial)
Mozart
based on Oz language (incorporates concurrent constraint programming)
Modelling languages
Comet
- distributed by [dynadec]
ZIMPL
Modelling language for ILP
(open source)
MiniZinc
(open source)
Libraries
Gecode
C++, interface for MiniZinc
G12 Project
SCIP - a framework for Constraint Integer Programming (C/C++)
(open source)
Google OR-Tools
CHOCO
(free)
Kaolog
(commercial)
CP-Optimizer - Constraint System by IBM-ILOG, available via C/C++ or OPL
NumberJack - A python constraint programming platform
JaCoP
Date: 2014-10-28T17:51+0100
Author: marco
Org
version 7.9.3f with
Emacs
version 24
Validate XHTML 1.0