GreyJack Solver is an AI constraint solver for Python (current version) built on top of Polars. It empowers you to solve a wide range of constraint optimization problems, including continuous, integer ...
Timefold Solver is an AI constraint solver you can use to optimize the Vehicle Routing Problem, Employee Rostering, Maintenance Scheduling, Task Assignment, School Timetabling, Cloud Optimization, ...
Just in time for CP/SAT we've released the latest version of our Python constraint solving library CPMpy, probably our last release before 1.0.0. https://lnkd.in/eG_JtTTD Example application domains ...
NuCS is a constraint solver library with a lot of features. Although it is written entirely in Python, it is very fast and can be used for a wide range of applications: research, teaching and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results