UniTime / cpsolver
Local-search based solver of Constraint Satisfaction and Optimization Problems
☆61Updated this week
Related projects ⓘ
Alternatives and complementary repositories for cpsolver
- Java interface for the SCIP Optimization Suite☆62Updated 3 weeks ago
- A suite of MiniZinc benchmarks.☆82Updated 4 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆56Updated 3 months ago
- A benchmark library for constraints☆82Updated last month
- The CP solver Chuffed☆20Updated 8 years ago
- An open-source Java library for Constraint Programming☆690Updated 3 weeks ago
- A JAva MEtaheuristics Search framework☆30Updated 2 years ago
- Java Constraint Programming solver☆220Updated 11 months ago
- ☆31Updated 8 months ago
- JMiniZinc☆15Updated 4 years ago
- The Chuffed CP solver☆93Updated last week
- The MiniZinc IDE☆144Updated this week
- small MiniZinc examples demonstrating various language features☆123Updated 7 years ago
- Constraint Solver ACE☆26Updated last week
- The website for the MiniZinc constraint modelling system☆15Updated last week
- XCSP3 Tools in Java☆21Updated 3 weeks ago
- Whole Platform Language Workbench☆27Updated 5 months ago
- A collection of problem specifications in Essence.☆10Updated 6 months ago
- A CP Portfolio Solver☆26Updated last year
- 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
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆132Updated 3 years ago
- ☆66Updated 8 months ago
- Java Implementation of Tabu Search metaheuristic☆24Updated 10 years ago
- Midstream of https://github.com/apache/incubator-kie-optaplanner☆256Updated last week
- Modeling and Programming with Gecode☆45Updated last year
- Stochastic Simulation in Java☆121Updated last year
- ECJ Evolutionary Computation Toolkit☆124Updated last year
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 4 years ago