xcsp3team / XCSP3-CPP-ParserLinks
XCSP3 Core Parser in C++
☆19Updated last month
Alternatives and similar repositories for XCSP3-CPP-Parser
Users that are interested in XCSP3-CPP-Parser are comparing it to the libraries listed below
Sorting:
- XCSP3 Tools in Java☆22Updated last month
- Generic Constraint Development Environment☆291Updated 3 weeks ago
- ☆32Updated last year
- The CP solver Chuffed☆20Updated 8 years ago
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- The Chuffed CP solver☆104Updated last month
- A Python Library for modeling combinatorial constrained problems☆68Updated last week
- The MiniZinc compiler☆550Updated last week
- COmpact SOlver for COnstrained problems☆12Updated this week
- The MiniZinc IDE☆149Updated last week
- The website for the MiniZinc constraint modelling system☆16Updated last week
- A benchmark library for constraints☆94Updated 7 months ago
- Constraint Solver ACE☆30Updated 3 weeks ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 6 months ago
- A solver based on local search☆12Updated 2 months ago
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆29Updated last year
- Models (and data) of constrained problems developped with the library PyCSP3☆10Updated 3 weeks ago
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆11Updated 3 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆377Updated 3 weeks ago
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆22Updated 3 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- A standalone local search solver for general integer linear programming☆16Updated 10 months ago
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆130Updated last year
- Algorithm Selection scenario data☆30Updated last year
- Sequential object-oriented simPlex☆64Updated last month
- Replacing standard support propagation by belief propagation in MiniCP☆12Updated last week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 10 months ago
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆71Updated 6 months ago
- Concorde is a computer code for the symmetric traveling salesman problem (TSP) and some related network optimization problems. It was cre…☆93Updated 3 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated 3 weeks ago