Department of Information Technology

Resources on Constraint Programming

Jump to Blogs, Archives & Libraries, Associations, Books, Conferences & Workshops, Courses & Tutorials, Journals, Solvers & Languages / Libraries, or Various.


Archives & Libraries

Solvers & Languages / Libraries

Other listings are at CP Tools and Constraint Solving, and here is ours:

  • AIMMS mathematical modelling language, with a CP backend
  • AMPL, a modelling language for mathematical programming, with a CP backend
  • B-Prolog, for constraint logic programming
  • CHIP
  • Choco, a Java library for CP
  • CHR, Constraint Handling Rules
  • Chuffed, a discrete optimiser combining CP and SAT solving techniques
  • CPViz, an open-source visualisation toolkit for finite-domain CP
  • CPX, a discrete optimiser combining CP and SAT solving techniques
  • EasyLocal++, a flexible framework for local search algorithms
  • ECLiPSe, for constraint logic programming
  • Essence, a constraint modelling language and its toolchain: Conjure, Savile Row, and Minion
  • FaCiLe, the Functional Constraint Library (Objective Caml)
  • Gecode, the GEneric COnstraint Development Environment, a C++ library for CP
  • GNU Prolog, for constraint logic programming
  • Google Optimization Tools, a suite of Operations Research tools for C++, Python, Java, and .NET, with CP, LP, vehicle routing, etc
  • IBEX, a C++ numerical library based on interval arithmetic and constraint programming
  • IBM ILOG CPLEX CP Optimizer
  • IBM ILOG CPLEX Optimization Studio, based on OPL (Optimization Programming Language), with CP and MIP backends
  • IF Prolog, for constraint logic programming
  • JaCoP, the Java Constraint Programming solver, a Java library for CP
  • LIONsolver, a local search solver that learns from its previous attempts and from human feedback
  • LocalSolver, a CBLS solver
  • Minion, a black-box constraint solver for matrix models
  • MiniZinc, a medium-level constraint modelling language
  • NCL, the Natural Constraint Language
  • NumberJack, a constraint modelling package written in Python, with CP, MIP, and SAT backends
  • Picat, a rule-based language with CP and SAT solvers
  • Realpaver, nonlinear constraint solving and rigorous global optimisation
  • OscaR, a Scala toolkit to solve Operations Research problems, with CB, CBLS, and MIP backends
  • SCIP, Solving Constraint Integer Programs
  • SICStus Prolog (documentation of v4), for constraint logic programming
  • SIMPL, a hybrid solver with CP, MIP, and global optimisation features
  • Yuck, a CBLS backend for MiniZinc


  • AAAI, the Association for the Advancement of Artificial Intelligence
  • ACM SIGART, the ACM Special Interest Group on Artificial Intelligence
  • ACP, the Association for Constraint Programming (Yahoo! discussion group)
  • AFPC, l'Association Française pour la Programmation par Contraintes
  • ALP, the Association for Logic Programming
  • ECCAI, the European Coordinating Committee for Artificial Intelligence
  • ERCIM Working Group on Constraints
  • IFORS, the International Federation of Operational Research Societies
  • INFORMS Computing Society, of INFORMS, the Institute for Operations Research and the Management Sciences
  • MOS, the Mathematical Optimisation Society
  • RCRA, Working group on Knowledge Representation and Automated Reasoning (Italy)
  • Reactive Search Optimisation
  • SIAM, the Society for Industrial and Applied Mathematics
  • SweConsNet, the Network for Sweden-based researchers and practitioners of Constraint programming

Conferences & Workshops

  • AAAI, the AAAI conferences on Artificial Intelligence
  • AISC 2014, the 12th international conference on Artificial Intelligence and Symbolic Computation
  • AMAI, the international symposia on Artificial Intelligence and Mathematics
  • CoProD, the workshops on Constraint Programming and Decision Making
  • CP, the international conferences on the principles and practice of Constraint Programming
  • CP-AI-OR, the international conferences on integration of AI and OR Techniques in Constraint Programming for combinatorial optimisation problems
  • CSCLP, the Joint ERCIM/CoLogNet Workshops on Constraint Solving and Constraint Logic Programming
  • CSTVA, the international workshops on Constraint Solving in Testing, Verification, and Analysis
  • ECAI, the European Conferences on Artificial Intelligence (next in 2016)
  • FLAIRS, the international conferences of the Florida AI Research Society
  • HM 2014, the 9th international workshop on Hybrid Metaheuristics
  • IAAI, the conferences on Innovative Applications of Artificial Intelligence
  • ICAPS, the International Conferences on Automated Planning and Scheduling
  • ICS, the conferences of the Computing Society of INFORMS, the Institute for Operations Research and the Management Sciences
  • ICTAI 2015, the 27th IEEE International Conference on Tools with Artificial Intelligence
  • IJCAI, the International Joint Conferences on Artificial Intelligence
  • JFPC 2014, les 10ièmes Journées Francophones de Programmation par Contraintes
  • KI, the German conference on artificial intelligence (Künstliche Intelligenz)
  • KR, the international conferences on the principles of Knowledge Representation and Reasoning
  • LION 8, the 8th international conference on Learning and Intelligent OptimizatioN
  • LOPSTR 2014, the 24th international symposium on LOgic-based Program Synthesis and TRansformation (LOPSTR series, not up-to-date)
  • LPAR, the international conferences on Logic for Programming, Artificial intelligence, and Reasoning (discontinued)
  • LSCS, the international workshops on Local Search Techniques in Constraint Satisfaction, held at CP conferences (discontinued)
  • MIC 2015, the 11th Metaheuristics International Conference
  • ModRef, the international workshops on constraint Modelling and Reformulation, held at CP conferences
  • PADL 2014, the 16th international symposium on Practical Aspects of Declarative Languages
  • PATAT, the international conferences on the Practice and Theory of Automated Timetabling
  • PPDP, the international symposia on the Principles and Practice of Declarative Programming
  • RCRA, the international workshops on experimental evaluation of algorithms for solving problems with combinatorial explosion
  • SAC 2014, Track on Constraint Solving and Programming, of the 29th ACM Symposium on Applied Computing
  • SARA 2013, the 10th international Symposium on Abstraction, Reformulation, and Approximation
  • SCAN 2014, the 16th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
  • SymCon, the international workshops on Symmetry in Constraint satisfaction problems, held at CP conferences (discontinued)



Courses & Tutorials


Updated  2017-12-14 09:07:26 by Pierre Flener.