constraint-programming topic
cplex-scala
A scala library for IBM ILOG CPLEX
centipede
Constraint Satisfaction Problem Solver for Golang
Safe-PDP
Safe Pontryagin Differentiable Programming (Safe PDP) is a new theoretical and algorithmic safe differentiable framework to solve a broad class of safety-critical learning and control tasks.
solver
SAT solver library in Go; wraps around Google's Operational Research Tools
monadiccp
Monadic Constraint Programming framework
GHOST
General meta-Heuristic Optimization Solving Toolkit
Jenereta
Automated TIme-Table Generator
ddo
DDO a generic and efficient framework for MDD-based optimization.
solverl
Erlang/Elixir interface to MiniZinc.
gibbous
Convex optimization for java and scala, built on Apache Commons Math