xcsp3team / PyCSP3-modelsLinks
Models (and data) of constrained problems developped with the library PyCSP3
☆10Updated last month
Alternatives and similar repositories for PyCSP3-models
Users that are interested in PyCSP3-models are comparing it to the libraries listed below
Sorting:
- A Python Library for modeling combinatorial constrained problems☆68Updated 2 weeks ago
- Constraint Solver ACE☆31Updated 2 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…☆34Updated last month
- An archive repository containing the MiniZinc instances used for the MiniZinc Challenge☆13Updated 7 months ago
- Discrete Optimization is a python library to ease the definition and re-use of discrete optimization problems and solvers.☆60Updated last week
- ☆15Updated last week
- COmpact SOlver for COnstrained problems☆12Updated 2 weeks ago
- A cpmpy-based library for constraint acquisition.☆18Updated last month
- XCSP3 Tools in Java☆22Updated last week
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆17Updated 9 months ago
- XCSP3 Core Parser in C++☆19Updated 2 months ago
- Nutmeg – a MIP and CP branch-and-check solver☆26Updated 2 years ago
- A suite of MiniZinc benchmarks.☆85Updated 4 years ago
- A standalone local search solver for general mixed integer programming☆23Updated 3 months ago
- ☆20Updated 3 years ago
- A Python wrapper for the Hybrid Genetic Search algorithm for Capacitated Vehicle Routing Problems (HGS-CVRP)☆91Updated 2 months ago
- challenge EURO/ROADEF 2022 on RENAULT's truck loading : documents and issues☆29Updated last year
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11Updated last month
- A simple Python interface for VRPSolver, a state-of-the-art Branch-Cut-and-Price exact solver for vehicle routing problems☆144Updated last week
- A webapp that visualizes and annotates your ortools' CP-SAT logs. Partially inspired by gurobi-logtools.☆40Updated 4 months ago
- ☆17Updated 2 years ago
- ☆32Updated last year
- Visual representation of the branch-and-cut tree of SCIP using spatial dissimilarities of LP solutions☆28Updated 3 years ago
- Replacing standard support propagation by belief propagation in MiniCP☆13Updated this week
- Combinatorial Optimization in Gurobi☆44Updated 2 years ago
- minicp☆23Updated 4 months ago
- Extract and visualize information from Gurobi log files☆117Updated last week
- An end-to-end framework for mixed-integer optimization with data-driven learned constraints.☆128Updated last year
- Random-Key Optimizer (RKO) - C++ framework☆17Updated 2 months ago
- A Fast Iterated-Local-Search Localized Optimization algorithm for the CVRP.☆48Updated last year