Tools are explained by classifying into the extension of Prolog, the rest, and the library for Non-logic Programming Language. Classifying is just for convenience. (For example, the languages to be classified into Functional Logic Programming Language may be classified separately according to whether the language has Prolog-like syntax or not. Besides it is clear that whether the syntax is Prolog-like or not is a matter of degree.) Other information–the kinds of the handled constraints, whether tools continued to be developed and maintained or not, for business or not, pay or free–is attached. Please see each language site for details.
Language (Prolog Extension)
The Ciao programming language
GNU Prolog
SICStus Prolog
Evaluation license is avaiable for 30 days.
B-Prolog
Extension of Prolog.
Language (Non Prolog)
Picat
Multi-paradigm programming language based on B-Prolog engine
MiniZinc and FlatZinc (NICTA)
Open-source constraint modeling language
ECLiPSe
Open-source software system for the cost-effective development and deployment of constraint programming applications
Minion
General-purpose constraint solver
https://constraintmodelling.org
The Mozart Programming System
Environment for Oz Language development
MiniCP
Constraint solver for educatinal use written in Java.
Curry
unctional Logic Programming Language. The syntax is based on Functional Programming Language Haskell. There are some implementations including interpreter and compiler
https://www-ps.informatik.uni-kiel.de/currywiki/
Libraries
Choco
Open source Java library
http://www.emn.fr/z-info/choco-solver/
Gecode
Open source C++ library
JaCoP
Open source Java library (distributed under GPL and commercial license?)
OR-Tools (Google)
Comprehensive OR tool including constraint programming (having interface for Python, Java and .NET)
https://developers.google.com/optimization
OptaPlanner
Open source Java library for planning/scheduling problems.
iZ-C
C library
Cream (Kobe University)
Open source Java library
http://bach.istc.kobe-u.ac.jp/cream/
Screamer
Constraint Library of Lisp
http://nikodemus.github.io/screamer/
DragonBreath
An Optimization Engine based on Constraint Programming and Local Search – in AI-CENTER
http://www.ai-center.com/projects/dragonbreath/
EXCALIBUR
Adaptive Constraint-Based Agents in Artificial Environments – in AI-CENTER
http://www.ai-center.com/projects/excalibur/
FaCiLe
Constraint Library for Functional Programming Language OCaml (ENAC,France)
http://facile.recherche.enac.fr/index.html.en
Cassowary Constraint Solving Toolkit（University of Washington）
https://constraints.cs.washington.edu/cassowary/
Development Tool
IBM CPLEX Optimizer
Development tool for solving optimization problem
https://www.ibm.com/jp-ja/analytics/cplex-optimizer
JSR-331
Standard specification for Java to use constraint programming system.
http://jcp.org/en/jsr/detail?id=331
Library and Package for The Specific Area
Strasheela
Constraint-based music composition system.
http://strasheela.sourceforge.net/
Sced
Constraint Based Scene Design – by Stephen Chenney
http://www.cs.wisc.edu/~schenney/sced/sced.html
Amulet（Carnegie Mellon University)
C++ Library. Successor to Garnet.
http://www.cs.cmu.edu/~amulet/
Garnet (Carnegie Mellon University）
LISP Library. It stops being developed now. It is succeeded by Amulet.
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/garnet/www/garnet-home.html
Others
Constraint Programming Solvers
Catalogue of Constraint Programming Tools
http://openjvm.jvmhost.net/CPSolvers/
CSPLib:
Problem library for constraints
PSPLIB
Project Scheduling Problem Library
http://www.om-db.wi.tum.de/psplib/
Global Constraint Catalog
Catalog of Constraints and algorithms
http://sofdem.github.io/gccat/
https://github.com/hakank/hakank
Models by author of My Constraint Programming Blog