siemens / JMiniZinc
JMiniZinc
☆15Updated 4 years ago
Alternatives and similar repositories for JMiniZinc:
Users that are interested in JMiniZinc are comparing it to the libraries listed below
- Constraint Solver ACE☆28Updated 2 weeks ago
- The Chuffed CP solver☆98Updated last month
- A suite of MiniZinc benchmarks.☆83Updated 4 years ago
- The CP solver Chuffed☆20Updated 8 years ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆64Updated this week
- Modular Java framework for meta-heuristic optimization☆32Updated 10 months ago
- A benchmark library for constraints☆86Updated 3 months ago
- Java Constraint Programming solver☆221Updated last year
- Yuck is a local-search constraint solver with FlatZinc interface☆57Updated 6 months ago
- Java Operations Research Library☆66Updated last month
- The Next Generation Logic Library☆137Updated 2 months ago
- XCSP3 Tools in Java☆22Updated 2 weeks ago
- The website for the MiniZinc constraint modelling system☆15Updated 3 weeks ago
- The MiniZinc IDE☆145Updated this week
- ☆31Updated 11 months ago
- A Python Library for modeling combinatorial constrained problems☆63Updated this week
- A collection of problem specifications in Essence.☆10Updated 8 months ago
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated 2 months ago
- Java interface for the SCIP Optimization Suite☆62Updated 3 months ago
- ☆12Updated last month
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Access to all MiniZinc functionality directly from Python☆151Updated this week
- A CP Portfolio Solver☆26Updated last year
- Linear programming in Java☆54Updated 10 months ago
- An open-source Java library for Constraint Programming☆702Updated this week
- A JAva MEtaheuristics Search framework☆30Updated 2 years ago
- Generic Constraint Development Environment☆284Updated 6 months ago
- Multi-backend EMF persistence framework.☆51Updated 3 months ago
- My public programs and models - mostly combinatorial problems and puzzles☆371Updated last month
- An Xtext language and example usage of it built with Maven☆61Updated 2 months ago