xcsp3team / ACE
Constraint Solver ACE
☆26Updated this week
Related projects: ⓘ
- XCSP3 Tools in Java☆21Updated this week
- A Python Library for modeling combinatorial constrained problems☆60Updated last week
- ☆31Updated 6 months ago
- Yuck is a local-search constraint solver with FlatZinc interface☆55Updated last month
- The Chuffed CP solver☆89Updated 3 weeks ago
- PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…☆29Updated 2 weeks ago
- minicp☆18Updated 4 months ago
- A collection of problem specifications in Essence.☆10Updated 4 months ago
- The Standard Interface for Incremental Satisfiability Solving☆47Updated 2 years ago
- The CP solver Chuffed☆20Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- A lazy-grounding Answer-Set Programming system☆58Updated this week
- Nutmeg – a MIP and CP branch-and-check solver☆22Updated last year
- Modeling and Programming with Gecode☆44Updated last year
- Replacing standard support propagation by belief propagation in MiniCP☆11Updated 3 months ago
- XCSP3 Core Parser in C++☆19Updated 3 months ago
- JMiniZinc☆15Updated 3 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆10Updated 2 years ago
- Modular Java framework for meta-heuristic optimization☆32Updated 6 months ago
- A CP Portfolio Solver☆26Updated last year
- A suite of MiniZinc benchmarks.☆82Updated 3 years ago
- d4 Model Counter☆14Updated last year
- A benchmark library for constraints☆81Updated last month
- Sequential object-oriented simPlex☆59Updated this week
- A constraint modelling and rewriting library and compiler framework written in rust☆19Updated this week
- Access to all MiniZinc functionality directly from Python☆145Updated last month
- The MiniZinc IDE☆141Updated this week
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆66Updated 5 months ago
- A standalone local search solver for general integer linear programming☆15Updated 2 months ago
- Management of Benchmark Instances and Instance Attributes☆16Updated this week