Google's software suite for combinatorial optimization
ConstraintSolver in Julia
The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
SOLVESPACE is a free (GPLv3) parametric 3d CAD tool.
SONNET (integer) linear optimisation in .NET
Volunteer workshift scheduler for a helpline service
Creates a battleship puzzle with a twist - some numbers are false
Solver with Applications in Computer Network Systems Design
Constraint Satisfaction Problems solver
A Z3-Based String Constraint Solver
DisChoco: Distributed Constraint Reasoning Solver
JBernstein: Exploration techniques for non-linear constraint checking
The easiest C++ way to deal with constraints !
Water Retention on Magic Squares with Constraint-Based Local Search
Processor Enhanced Robust Core Solver for Recursive Multibody Dynamics