xcsp3team / ACELinks
Constraint Solver ACE
☆32Updated last week
Alternatives and similar repositories for ACE
Users that are interested in ACE are comparing it to the libraries listed below
Sorting:
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆24Updated last week
- Nutmeg – a MIP and CP branch-and-check solver☆29Updated 2 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Updated 3 months ago
- A collection of problem specifications in Essence.☆10Updated 5 months ago
- XCSP3 Tools in Java☆23Updated last week
- ☆32Updated last year
- A Python Library for modeling combinatorial constrained problems☆74Updated this week
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Updated 11 months ago
- The Chuffed CP solver☆113Updated this week
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated this week
- A benchmark library for constraints☆97Updated 2 months ago
- An open-source course on constraint solving☆24Updated this week
- A standalone local search solver for general mixed integer programming☆28Updated 3 weeks ago
- A CP Portfolio Solver☆26Updated 2 years ago
- The CP solver Chuffed☆20Updated 9 years ago
- A suite of MiniZinc benchmarks.☆86Updated 5 years ago
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆71Updated last month
- A standalone local search solver for general integer linear programming☆16Updated last year
- A JAva MEtaheuristics Search framework☆30Updated 3 years ago
- Java Constraint Programming solver☆230Updated last year
- Modular Java framework for meta-heuristic optimization☆37Updated last year
- Generic Constraint Development Environment☆313Updated 5 months ago
- JMiniZinc☆18Updated 5 years ago
- Cut Generator Library☆26Updated this week
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- Parallel Presolve for Integer and Linear Optimization☆75Updated 2 weeks ago
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆29Updated 2 years ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 years ago
- A curated list of awesome OR-Tools community resources.☆183Updated last year
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆74Updated last month