chocoteam / choco-solverLinks
An open-source Java library for Constraint Programming
☆724Updated 3 weeks ago
Alternatives and similar repositories for choco-solver
Users that are interested in choco-solver are comparing it to the libraries listed below
Sorting:
- Java Constraint Programming solver☆227Updated last year
- The Next Generation Logic Library☆146Updated last week
- Linear programming in Java☆54Updated last year
- Graphstream core☆411Updated 2 years ago
- JMiniZinc☆18Updated 4 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆60Updated 3 weeks ago
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆69Updated 2 months ago
- Jenetics - Genetic Algorithm, Genetic Programming, Grammatical Evolution, Evolutionary Algorithm, and Multi-objective Optimization☆870Updated last week
- JUNG: Java Universal Network/Graph Framework☆414Updated 7 months ago
- The MiniZinc compiler☆558Updated last month
- oj! Algorithms☆481Updated this week
- A benchmark library for constraints☆95Updated this week
- My public programs and models - mostly combinatorial problems and puzzles☆383Updated last month
- Eclipse Xtext™ is a language development framework☆802Updated this week
- A JAva MEtaheuristics Search framework☆30Updated 3 years ago
- The MiniZinc IDE☆151Updated last month
- The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, …☆1,409Updated this week
- Stochastic Simulation in Java☆124Updated 3 months ago
- The Chuffed CP solver☆108Updated 3 months ago
- ☆682Updated 4 years ago
- A fast and easy to use linear algebra library written in Java for dense, sparse, real, and complex matrices.☆589Updated last month
- Modular Java framework for meta-heuristic optimization☆35Updated last year
- Hipster4j is a lightweight and powerful heuristic search library for Java and Android. It contains common, fully customizable algorithms …☆325Updated 2 years ago
- AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, confer…☆3,399Updated 2 weeks ago
- Generic Constraint Development Environment☆309Updated 2 months ago
- Linear Algebra for Java☆375Updated 4 years ago
- Linear Algebra for Java☆596Updated 2 years ago
- With this simple API you can simply call GraphViz's dot from your Java programs.☆71Updated 8 years ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated this week