UniTime / cpsolver
Local-search based solver of Constraint Satisfaction and Optimization Problems
☆64Updated this week
Alternatives and similar repositories for cpsolver:
Users that are interested in cpsolver are comparing it to the libraries listed below
- Java Constraint Programming solver☆221Updated last year
- ☆31Updated 11 months ago
- The CP solver Chuffed☆20Updated 8 years ago
- JMiniZinc☆15Updated 4 years ago
- A benchmark library for constraints☆86Updated 3 months ago
- Java interface for the SCIP Optimization Suite☆62Updated 3 months ago
- Constraint Solver ACE☆28Updated 2 weeks ago
- A suite of MiniZinc benchmarks.☆83Updated 4 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆57Updated 6 months ago
- An open-source Java library for Constraint Programming☆702Updated this week
- The Chuffed CP solver☆98Updated last month
- The MiniZinc IDE☆145Updated this week
- XCSP3 Tools in Java☆22Updated 2 weeks ago
- Linear programming in Java☆54Updated 10 months ago
- The website for the MiniZinc constraint modelling system☆15Updated 3 weeks ago
- Generic Constraint Development Environment☆284Updated 6 months ago
- A CP Portfolio Solver☆26Updated last year
- Java Operations Research Library☆66Updated last month
- A JAva MEtaheuristics Search framework☆30Updated 2 years ago
- Java Implementation of Tabu Search metaheuristic☆24Updated 10 years ago
- Staffjoy Suite (V1) Deprecated Microservice - Original autoscheduling algorithm, which combines shift creation and assignment. No longer …☆71Updated 6 years ago
- A collection of problem specifications in Essence.☆10Updated 8 months ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated 2 months ago
- small MiniZinc examples demonstrating various language features☆123Updated 7 years ago
- A constraint solver purely on GPUs (CUDA)☆21Updated last week
- Nutmeg – a MIP and CP branch-and-check solver☆23Updated last year
- Java Algebra System (JAS) Project☆44Updated 8 months ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆132Updated 3 years ago
- A solver based on local search☆11Updated 6 months ago