siemens / JMiniZinc
JMiniZinc
☆15Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for JMiniZinc
- Constraint Solver ACE☆26Updated this week
- A suite of MiniZinc benchmarks.☆82Updated 4 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆56Updated 3 months ago
- The Chuffed CP solver☆92Updated this week
- Java Constraint Programming solver☆220Updated 11 months ago
- The CP solver Chuffed☆20Updated 8 years ago
- XCSP3 Tools in Java☆21Updated this week
- The Next Generation Logic Library☆135Updated 2 months ago
- A benchmark library for constraints☆85Updated last month
- Java Operations Research Library☆64Updated 4 years ago
- Modular Java framework for meta-heuristic optimization☆32Updated 8 months ago
- ☆31Updated 9 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆11Updated 2 weeks ago
- A Python Library for modeling combinatorial constrained problems☆61Updated this week
- The MiniZinc IDE☆144Updated this week
- An open-source Java library for Constraint Programming☆690Updated this week
- The website for the MiniZinc constraint modelling system☆15Updated last week
- A collection of problem specifications in Essence.☆10Updated 6 months ago
- Java interface for the SCIP Optimization Suite☆62Updated last month
- A lazy-grounding Answer-Set Programming system☆58Updated 3 weeks ago
- A lazy clause generation constraint solver written in Rust.☆17Updated this week
- A JAva MEtaheuristics Search framework☆30Updated 2 years ago
- ☆12Updated 2 weeks ago
- Access to all MiniZinc functionality directly from Python☆150Updated this week
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- Nutmeg – a MIP and CP branch-and-check solver☆23Updated last year
- Java library for reading traveling salesman, vehicle routing, and Hamiltonian cycle problem instances from the TSPLIB collection.☆35Updated 11 years ago
- A CP Portfolio Solver☆26Updated last year
- d4 Model Counter☆14Updated last year
- minicp☆19Updated 6 months ago