xcsp3team / XCSP3-CPP-Parser
XCSP3 Core Parser in C++
☆19Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for XCSP3-CPP-Parser
- XCSP3 Tools in Java☆21Updated 2 weeks ago
- Generic Constraint Development Environment☆283Updated 4 months ago
- The MiniZinc IDE☆144Updated this week
- A suite of MiniZinc benchmarks.☆82Updated 4 years ago
- ☆31Updated 8 months ago
- The Chuffed CP solver☆93Updated last week
- The CP solver Chuffed☆20Updated 8 years ago
- A Python Library for modeling combinatorial constrained problems☆61Updated 3 weeks ago
- Constraint Solver ACE☆26Updated last week
- Sequential object-oriented simPlex☆60Updated this week
- The MiniZinc compiler☆514Updated this week
- COmpact SOlver for COnstrained problems☆12Updated 2 weeks ago
- A benchmark library for constraints☆82Updated last month
- The website for the MiniZinc constraint modelling system☆15Updated last week
- A harness for building the bundled suite of interoperable optimization tools available in the COIN-OR repository.☆118Updated 3 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆11Updated last week
- SCIP - Solving Constraint Integer Programs☆403Updated this week
- Access to all MiniZinc functionality directly from Python☆150Updated this week
- A C++ Constraint Programming Library☆45Updated 6 months ago
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆29Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated 11 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆72Updated 11 months ago
- small MiniZinc examples demonstrating various language features☆123Updated 7 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆17Updated 3 months ago
- A standalone local search solver for general integer linear programming☆15Updated 4 months ago
- A solver for mixed integer bilevel programs☆50Updated this week
- Cube-and-Conquer SAT solver☆31Updated last year
- Cut Generator Library☆24Updated 3 weeks ago
- ☆457Updated last month
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year