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:
- ☆32Updated last year
- Yuck is a local-search constraint solver with FlatZinc interface☆61Updated last month
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆26Updated last month
- A benchmark library for constraints☆98Updated last month
- A collection of problem specifications in Essence.☆10Updated last week
- Nutmeg – a MIP and CP branch-and-check solver☆31Updated 2 years ago
- The Chuffed CP solver☆118Updated 2 weeks ago
- XCSP3 Tools in Java☆23Updated 2 weeks ago
- A Python Library for modeling combinatorial constrained problems☆75Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Updated last year
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆72Updated 2 months ago
- A standalone local search solver for general mixed integer programming☆34Updated 2 weeks ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated last month
- Modular Java framework for meta-heuristic optimization☆37Updated last year
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 years ago
- pymhlib - A Toolbox for Metaheuristics and Hybrid Optimization Methods☆30Updated 2 years ago
- A suite of MiniZinc benchmarks.☆86Updated 5 years ago
- Java interface for the SCIP Optimization Suite☆69Updated 2 months ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- An open-source course on constraint solving☆24Updated last month
- JMiniZinc☆18Updated 5 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆19Updated 4 years ago
- A JAva MEtaheuristics Search framework☆30Updated 3 years ago
- A C++ Framework for Optimization☆36Updated 2 weeks ago
- A standalone local search solver for general integer linear programming☆16Updated last year
- A Java Stochastic Dynamic Programming Library☆13Updated 3 months ago
- A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.☆132Updated 4 years ago
- A solver for mixed integer bilevel programs☆57Updated 4 months ago
- Parallel Presolve for Integer and Linear Optimization☆77Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago