siemens / JMiniZinc
JMiniZinc
☆16Updated 4 years ago
Alternatives and similar repositories for JMiniZinc
Users that are interested in JMiniZinc are comparing it to the libraries listed below
Sorting:
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 5 months ago
- Java Constraint Programming solver☆224Updated last year
- Constraint Solver ACE☆30Updated this week
- The Chuffed CP solver☆104Updated last month
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- Java Operations Research Library☆68Updated 4 months ago
- A benchmark library for constraints☆93Updated 7 months ago
- Linear programming in Java☆54Updated last year
- Yuck is a local-search constraint solver with FlatZinc interface☆59Updated 9 months ago
- The CP solver Chuffed☆20Updated 8 years ago
- The Next Generation Logic Library☆142Updated 5 months ago
- ☆32Updated last year
- A Python Library for modeling combinatorial constrained problems☆67Updated last week
- An open-source Java library for Constraint Programming☆718Updated 3 weeks ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- Java interface for the SCIP Optimization Suite☆64Updated last week
- Seven Languages in Seven Weeks (with Xtext)☆71Updated 2 years ago
- The website for the MiniZinc constraint modelling system☆16Updated 2 months ago
- ☆9Updated 3 weeks ago
- Modular Java framework for meta-heuristic optimization☆32Updated last year
- Build OSGi bundles and Eclipse Update Sites from existing JARs, e.g. from Maven repositories (Plugin for Gradle)☆82Updated last week
- Multi-backend EMF persistence framework.☆53Updated 3 months ago
- Enhanced Kotlin Plugin for Eclipse☆50Updated 5 months ago
- An Example for an Xtext Language Server☆55Updated last year
- Modelserver component☆45Updated this week
- Target Platform Definition DSL and Generator☆77Updated 3 months ago
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆74Updated 5 years ago
- ☆43Updated this week
- Units of Measurement Systems☆37Updated last month
- A lazy-grounding Answer-Set Programming system☆60Updated 2 months ago