xcsp3team / ACELinks
Constraint Solver ACE
☆33Updated this week
Alternatives and similar repositories for ACE
Users that are interested in ACE are comparing it to the libraries listed below
Sorting:
- ☆32Updated last year
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆26Updated 2 months ago
- Yuck is a local-search constraint solver with FlatZinc interface☆61Updated 2 weeks ago
- The Chuffed CP solver☆118Updated this week
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Updated last year
- A Python Library for modeling combinatorial constrained problems☆78Updated this week
- Nutmeg – a MIP and CP branch-and-check solver☆31Updated 2 years ago
- A collection of problem specifications in Essence.☆10Updated last month
- A benchmark library for constraints☆98Updated 2 months ago
- A suite of MiniZinc benchmarks.☆86Updated 3 weeks ago
- XCSP3 Tools in Java☆23Updated 2 weeks ago
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆72Updated 3 months ago
- A solver for mixed integer bilevel programs☆58Updated 3 weeks ago
- Generic Constraint Development Environment☆314Updated last month
- An open-source course on constraint solving☆25Updated 2 months ago
- pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods☆30Updated 2 years ago
- JMiniZinc☆18Updated 5 years ago
- Java interface for the SCIP Optimization Suite☆69Updated 2 months ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 years ago
- A standalone local search solver for general mixed integer programming☆36Updated 2 weeks ago
- minicp☆28Updated 11 months ago
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆169Updated last year
- An open-source parallel optimization solver for structured mixed-integer programming☆91Updated 2 years ago
- Cut Generator Library☆26Updated last month
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated 2 years ago
- A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.☆135Updated 4 years ago
- Parallel Presolve for Integer and Linear Optimization☆82Updated 3 weeks ago
- The CP solver Chuffed☆20Updated 9 years ago
- Modular Java framework for meta-heuristic optimization☆37Updated last year
- A C++ Framework for Optimization☆36Updated 2 weeks ago