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:
- Generic Constraint Development Environment☆315Updated last month
- The Chuffed CP solver☆118Updated this week
- A suite of MiniZinc benchmarks.☆86Updated 3 weeks ago
- ☆32Updated last year
- A benchmark library for constraints☆98Updated 2 months ago
- The CP solver Chuffed☆20Updated 9 years ago
- XCSP3 Tools in Java☆23Updated 2 weeks ago
- A Python Library for modeling combinatorial constrained problems☆78Updated this week
- My public programs and models - mostly combinatorial problems and puzzles☆395Updated last month
- The MiniZinc IDE☆165Updated last month
- A Lazy Clause Generation solver with a focus on modularity and maintainability in addition to speed☆26Updated 2 months ago
- CaDiCaL SAT Solver☆512Updated this week
- The website for the MiniZinc constraint modelling system☆17Updated last month
- ☆598Updated 2 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated 2 years ago
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆14Updated last year
- Implementation of the Caprara, Fischetti, and Toth algorithm for the Set Covering problem.☆18Updated 10 months ago
- A C++ Constraint Programming Library☆46Updated last year
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆26Updated 3 years ago
- CUDD Decision Diagram Package☆150Updated 3 weeks ago
- Lingeling SAT Solver☆106Updated last year
- A minimalistic and high-performance SAT solver☆1,126Updated last year
- SCIP - Solving Constraint Integer Programs☆551Updated this week
- Concorde is a computer code for the symmetric traveling salesman problem (TSP) and some related network optimization problems. It was cre…☆105Updated 4 years ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆21Updated last year
- Constraint Solver ACE☆33Updated last week
- COIN-OR Linear Programming Solver☆479Updated this week
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆215Updated last month
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆13Updated 3 years ago
- An evolutionary computation framework to (automatically) build fast parallel stochastic optimization solvers☆118Updated 8 months ago