constraint-programming
There are 345 repositories under constraint-programming topic.
apache/incubator-kie-optaplanner
AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.
TimefoldAI/timefold-solver
The open source Solver AI for Java, Python and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
chocoteam/choco-solver
An open-source Java library for Constraint Programming
scipopt/scip
SCIP - Solving Constraint Integer Programs
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Gecode/gecode
Generic Constraint Development Environment
TimefoldAI/timefold-quickstarts
Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
triska/clpz
Constraint Logic Programming over Integers
jstrieb/poker-chipper
Optimally allocate poker chips using constrained, nonlinear optimization
slothy-optimizer/slothy
Assembly super-optimization via constraint solving
triska/clpfd
Constraint Logic Programming over Finite Domains
corail-research/SeaPearl.jl
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
lume/kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
lifebeyondfife/Decider
An Open Source .Net Constraint Programming Solver
MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
avaneev/biteopt
Derivative-Free Global Optimization Algorithm (C++, Python binding) - Continuous, Discrete, TSP, NLS, MINLP
Wikunia/ConstraintSolver.jl
ConstraintSolver in Julia: Blog posts ->
ptal/pcp
Constraint programming in Rust
conjure-cp/conjure
Conjure: The Automated Constraint Modelling Tool
mlabonne/linear-programming-course
Hands-on course about linear programming and mathematical optimization.
wanxinjin/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.
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
xcsp3team/pycsp3
A Python Library for modeling combinatorial constrained problems
gnboorse/centipede
Constraint Satisfaction Problem Solver for Golang
xgillard/ddo
DDO a generic and efficient framework for MDD-based optimization.
ktnr/BinPacking2D
Exact solutions for two-dimensional bin packing problems by branch-and-cut
bokner/fixpoint
Constraint programming solver
paolodragone/pymzn
A Python wrapper for the MiniZinc tool pipeline.
cnapy-org/CNApy
An 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!
Regista6/EA-FC-Automated-SBC-Solving
EA FC 25 Automated SBC Solving using Integer Programming ⚽
bokner/solverl
Erlang/Elixir interface to MiniZinc.
codac-team/codac
Codac is a library for constraint programming over reals, trajectories and sets.
hyperc-ai/ordered
Entropy-controlled contexts in Python
giangstrider/scheduling-optimization-ortools
Using Google Operation Research Tools (Ortools) to solve complex scheduling problems (General optimization problems).
paulk-asert/groovy-data-science
Some Data Science examples using Groovy
triska/clpb
Boolean Constraint Solving in Prolog