Constraint Programming Systems

• Constraint Programming Library

  • ILOG Solver (Puget 1993)

• Constraint Programming Languages

  • CONSTRAINTS (Steele, Sussman 1980)
  • CHIP (Dincbas, Hentenryck, Simonis, Aggoun 1988)
  • CLP(R) (Jaffar, Maher, Stuckey, Yap 1992)
  • Oz (Smolka and others 1995)
  • OPL (Hentenryck 1998)

support constraint programming with

high-level constructs

Previous slide

Next slide

Back to first slide

View graphic version