xcsp3team / ACELinks
Constraint Solver ACE
☆35Updated 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 month
- ☆32Updated last year
- A collection of problem specifications in Essence.☆10Updated last month
- A benchmark library for constraints☆98Updated 2 months ago
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆27Updated last week
- The Chuffed CP solver☆119Updated 3 weeks ago
- A Python Library for modeling combinatorial constrained problems☆81Updated 3 weeks ago
- XCSP3 Tools in Java☆23Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Updated last year
- Nutmeg – a MIP and CP branch-and-check solver☆31Updated 2 years ago
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Modular Java framework for meta-heuristic optimization☆37Updated last year
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆73Updated 2 weeks ago
- A suite of MiniZinc benchmarks.☆87Updated last month
- An open-source course on constraint solving☆25Updated 3 months ago
- Generic Constraint Development Environment☆316Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- The CP solver Chuffed☆20Updated 9 years ago
- A standalone local search solver for general mixed integer programming☆43Updated last month
- Java interface for the SCIP Optimization Suite☆69Updated last week
- Local-search based solver of Constraint Satisfaction and Optimization Problems☆75Updated 3 weeks ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated 3 months ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A Python library for visualizing algorithms for solving mathematical optimization problems.☆69Updated 4 years ago
- Examples and Models.☆18Updated 4 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 4 years ago
- A JAva MEtaheuristics Search framework☆30Updated 3 years ago
- Cut Generator Library☆26Updated 2 weeks ago
- Experimentation framework for Popper☆24Updated 6 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated last year