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:
- Yuck is a local-search constraint solver with FlatZinc interface☆61Updated last week
- A benchmark library for constraints☆98Updated 3 weeks ago
- ☆32Updated last year
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆25Updated last week
- Nutmeg – a MIP and CP branch-and-check solver☆30Updated 2 years ago
- XCSP3 Tools in Java☆23Updated last week
- A collection of problem specifications in Essence.☆10Updated 6 months ago
- The Chuffed CP solver☆116Updated this week
- A suite of MiniZinc benchmarks.☆86Updated 5 years ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 years ago
- A Python Library for modeling combinatorial constrained problems☆75Updated 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 last month
- Modeling and Programming with Gecode☆50Updated 2 years ago
- A standalone local search solver for general mixed integer programming☆30Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Updated 11 months ago
- A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.☆132Updated 4 years ago
- Java interface for the SCIP Optimization Suite☆68Updated last month
- Cut Generator Library☆27Updated 3 weeks ago
- A CP Portfolio Solver☆26Updated 2 years ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆75Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- Modular Java framework for meta-heuristic optimization☆37Updated last year
- Generic Constraint Development Environment☆313Updated 6 months ago
- An open-source parallel optimization solver for structured mixed-integer programming☆90Updated 2 years ago
- Parallel Presolve for Integer and Linear Optimization☆76Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- PySP: Stochastic Programming in Python☆42Updated 4 years ago
- A standalone local search solver for general integer linear programming☆16Updated last year
- Decision Diagrams for Discrete Optimization - Generic Julia Implementation☆15Updated 3 years ago