constraint-programming
There are 376 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 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
TimefoldAI/timefold-quickstarts
Get started with Timefold quickstarts here. Optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
Gecode/gecode
Generic Constraint Development Environment
slothy-optimizer/slothy
Assembly super-optimization via constraint solving
triska/clpz
Constraint Logic Programming over Integers
triska/clpfd
Constraint Logic Programming over Finite Domains
lume/kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
MiniZinc/minizinc-python
Access to all MiniZinc functionality directly from Python
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.
lifebeyondfife/Decider
An Open Source .Net Constraint Programming Solver
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.
ktnr/BinPacking2D
Exact solutions for two-dimensional bin packing problems by branch-and-cut
xcsp3team/pycsp3
A Python Library for modeling combinatorial constrained problems
gnboorse/centipede
Constraint Satisfaction Problem Solver for Golang
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
PyJobShop/PyJobShop
Solve scheduling problems with constraint programming in Python.
xgillard/ddo
DDO a generic and efficient framework for MDD-based optimization.
bokner/fixpoint
Constraint programming solver
Regista6/EA-FC-Automated-SBC-Solving
EA FC 25 Automated SBC Solving using Integer Programming ⚽
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!
Pabloo22/job_shop_lib
A modular Python library for creating, solving, and visualizing job shop scheduling problems.
paolodragone/pymzn
A Python wrapper for the MiniZinc tool pipeline.
fel88/CascadeDesktop
OpenCASCADE GUI Viewer/Editor
yangeorget/nucs
NuCS is a Python constraint programming library for solving Constraint Satisfaction and Optimization Problems over finite domains
MiniZinc/minizinc-js
Use MiniZinc in the browser or with NodeJS
triska/clpb
Boolean Constraint Solving in Prolog