An open-source Java library for Constraint Programming
My public programs and models - mostly combinatorial problems and puzzles
SCIP - Solving Constraint Integer Programs
Generic Constraint Development Environment
Julia hybrid constraint programming solver enhanced by a reinforcement l...
Constraint Logic Programming over Finite Domains
ConstraintSolver in Julia: Blog posts ->
Access to all MiniZinc functionality directly from Python
Derivative-Free Global Optimization Method (C++, Python binding)
Midstream of https://github.com/apache/incubator-kie-optaplanner
Fast TypeScript implementation of the Cassowary constraint solving algor...
Conjure: The Automated Constraint Modelling Tool
Constraint programming in Rust
Probabilistic Answer Set Programming and Probabilistic SAT solving, base...
A Python wrapper for the MiniZinc tool pipeline.