constraint-programming topic
PyCSP3
A Python Library for modeling combinatorial constrained problems
XCSP3-Java-Tools
XCSP3 Tools in Java
nutcracker
Problem solving à la carte
groovy-data-science
Some Data Science examples using Groovy
HyperGraphLib
C++ Hypergraph modelling Library using Boost and OpenMP with some algorithms, including isomorphism using Gecode.
BinPacking2D
Exact solutions for two-dimensional bin packing problems by branch-and-cut
XCSP3-CPP-Parser
XCSP3 Core Parser in C++
timefold-solver
The open source AI solver. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and othe...
timefold-quickstarts
Get started with Timefold quickstarts here. Timefold is the successor of OptaPlanner, by the OptaPlanner team. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance sc...
diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability