constraint-programming
There are 337 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. Timefold is the successor of OptaPlanner, by the OptaPlanner team. 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
corail-research/SeaPearl.jl
Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.
triska/clpfd
Constraint Logic Programming over Finite Domains
slothy-optimizer/slothy
Assembly super-optimization via constraint solving
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
ktafakkori/feloopy
FelooPy: Efficient & Feature-Rich Integrated Decision Environment
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
paolodragone/pymzn
A Python wrapper for the MiniZinc tool pipeline.
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
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!
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
Regista6/EA-FC-24-Automated-SBC-Solving
EA FC 24 Automated SBC Solving using Integer Programming ⚽
triska/clpb
Boolean Constraint Solving in Prolog
paulk-asert/groovy-data-science
Some Data Science examples using Groovy