DM826 - Modeling and Solving Constrained Optimization Problems

Courses

Problems and Data:

Constraint Systems

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)
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-02-12T13:44+0100

Author: Marco Chiarandini

Org version 7.9.3f with Emacs version 24

Validate XHTML 1.0