OptaplannerAI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
gibbousConvex optimization for java and scala, built on Apache Commons Math
DeciderAn Open Source .Net Constraint Programming Solver
clpzConstraint Logic Programming over Integers
ConstraintTPConstraint Type provider is a Type provider that provides constraints over F# Types.
GHOSTGeneral meta-Heuristic Optimization Solving Toolkit
codacCodac is a library for constraint programming over reals, trajectories and sets.
biteoptDerivative-Free Optimization Method for Global Optimization (C++)
facilePython constraint programming library
monadiccpMonadic Constraint Programming framework
SeaPearl.jlJulia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
pymznA Python wrapper for the MiniZinc tool pipeline.
orderedEntropy-controlled contexts in Python
HyperGraphLibC++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.
conjureConjure: The Automated Constraint Modelling Tool
simsttabSimple timetabling engine for schools
CNApyAn integrated visual environment for metabolic modeling with common methods such as FBA, FVA and Elementary Flux Modes, and advanced features such as thermodynamic methods, extended Minimal Cut Sets, OptKnock, RobustKnock, OptCouple and more!
pycsp3A Python Library for modeling combinatorial constrained problems