xcsp3team / ACELinks
Constraint Solver ACE
☆31Updated last month
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☆60Updated this week
- A Python Library for modeling combinatorial constrained problems☆68Updated last month
- A benchmark library for constraints☆94Updated 9 months ago
- ☆32Updated last year
- The Chuffed CP solver☆105Updated 3 months ago
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated 2 years ago
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆68Updated last month
- Modular Java framework for meta-heuristic optimization☆35Updated last year
- XCSP3 Tools in Java☆22Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 7 months ago
- A collection of problem specifications in Essence.☆10Updated 2 months ago
- Java Constraint Programming solver☆226Updated last year
- Java interface for the SCIP Optimization Suite☆67Updated last week
- The Next Generation Logic Library☆146Updated 7 months ago
- A suite of MiniZinc benchmarks.☆85Updated 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 this week
- Sandwood - A JVM based Java like Probabilistic Programming Language☆28Updated 2 weeks ago
- JMiniZinc☆18Updated 4 years ago
- A lazy-grounding Answer-Set Programming system☆60Updated 4 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A CP Portfolio Solver☆26Updated 2 years ago
- The MiniZinc IDE☆151Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- A Java Stochastic Dynamic Programming Library☆13Updated this week
- Julia wrapper around SWI Prolog☆13Updated 3 years ago
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- An open-source course on constraint solving☆20Updated 2 weeks ago
- The CP solver Chuffed☆20Updated 8 years ago
- OptFrame - C++17/C++20/C++23 Optimization Framework in Single or Multi-Objective. Supports classic metaheuristics and hyperheuristics: Ge…☆83Updated last month