xcsp3team / ACELinks
Constraint Solver ACE
☆32Updated 3 weeks ago
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
- The Chuffed CP solver☆108Updated 3 weeks ago
- A collection of problem specifications in Essence.☆10Updated 3 months ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆21Updated last week
- XCSP3 Tools in Java☆23Updated 2 months ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 9 months ago
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated 2 years ago
- A Python Library for modeling combinatorial constrained problems☆72Updated this week
- A benchmark library for constraints☆96Updated last month
- A standalone local search solver for general mixed integer programming☆24Updated last month
- A JAva MEtaheuristics Search framework☆30Updated 3 years ago
- Parallel Presolve for Integer and Linear Optimization☆40Updated 4 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
- Java interface for the SCIP Optimization Suite☆68Updated last month
- A suite of MiniZinc benchmarks.☆86Updated 4 years ago
- Parallel Presolve for Integer and Linear Optimization☆74Updated last week
- A C++ Framework for Optimization☆36Updated this week
- A curated list of awesome OR-Tools community resources.☆177Updated 10 months ago
- An open-source course on constraint solving☆24Updated 2 months ago
- Generic Constraint Development Environment☆311Updated 3 months ago
- A standalone local search solver for general integer linear programming☆16Updated last year
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆49Updated 3 weeks ago
- Cut Generator Library☆26Updated last week
- Access to all MiniZinc functionality directly from Python☆164Updated 2 weeks ago
- JMiniZinc☆18Updated 4 years ago
- A constraint modelling and rewriting library and compiler framework written in rust☆24Updated last week
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆65Updated 4 years ago
- Feasibility Pump Collection☆14Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago