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☆22Updated this week
- ☆31Updated 9 months ago
- The Chuffed CP solver☆92Updated this week
- A suite of MiniZinc benchmarks.☆82Updated 4 years ago
- A benchmark library for constraints☆85Updated last month
- Constraint Solver ACE☆26Updated this week
- The CP solver Chuffed☆20Updated 8 years ago
- A Python Library for modeling combinatorial constrained problems☆61Updated last week
- Generic Constraint Development Environment☆283Updated 4 months ago
- The MiniZinc IDE☆144Updated this week
- COmpact SOlver for COnstrained problems☆12Updated last week
- Sequential object-oriented simPlex☆61Updated last week
- The MiniZinc compiler☆516Updated this week
- The website for the MiniZinc constraint modelling system☆15Updated last week
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆29Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- Replacing standard support propagation by belief propagation in MiniCP☆11Updated 3 weeks ago
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆11Updated 2 years ago
- A standalone local search solver for general integer linear programming☆15Updated 4 months ago
- SYMPHONY is an open-source solver, callable library, and development framework for mixed-integer linear programs (MILPs) written in C wit…☆68Updated 3 weeks ago
- ☆465Updated 2 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆17Updated 4 months ago
- SCIP - Solving Constraint Integer Programs☆405Updated this week
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆22Updated 2 years ago
- Branch-Cut-Price Framework☆27Updated 4 years ago
- My public programs and models - mostly combinatorial problems and puzzles☆368Updated this week
- CaDiCaL SAT Solver☆380Updated this week
- Cube-and-Conquer SAT solver☆31Updated last year
- A CP Portfolio Solver☆26Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆26Updated 5 months ago