An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnitude
☆18Nov 15, 2025Updated 11 months ago
Alternatives and similar repositories for CliSAT
Users that are interested in CliSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code and data from the paper "Exponential-size neighborhoods for the pickup-and-delivery traveling salesman problem", authored by T. Pach…☆20Jan 18, 2023Updated 3 years ago
- Header-only C++23 bucket graph labeling for the SPPRC — the pricing subproblem in vehicle routing column generation☆30Updated this week
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆49Jul 9, 2026Updated 3 months ago
- MaxiCP☆45Oct 16, 2026Updated 2 weeks ago
- Towards Foundation Models for Mixed Integer Linear Programming☆18Feb 3, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Neural Separation Algorithm for the Rounded Capacity Inequalities (IJOC, 2024)☆16Feb 20, 2024Updated 2 years ago
- Discorde TSP is an easy-to-use API for Concorde TSP solver in C and C++ programming languages☆20Oct 8, 2018Updated 8 years ago
- ☆21Sep 21, 2026Updated last month
- A Julia interface for VRPSolver☆18Nov 17, 2025Updated 11 months ago
- parbeam.jl: Parallel Beam Search for Combinatorial Optimization☆10Aug 7, 2024Updated 2 years ago
- Bin packing and nesting library☆11Oct 6, 2024Updated 2 years ago
- ☆26Jun 12, 2024Updated 2 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 5 years ago
- A modular Python package for the development of metaheuristic algorithms for Vehicle Routing Problems with Intermediate Stops☆30Dec 27, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tools to analyze models for numerical issues, apply scaling, and check solutions for feasibility☆31Aug 10, 2026Updated 2 months ago
- ☆10Sep 16, 2020Updated 6 years ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆58Sep 17, 2026Updated last month
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆28Sep 23, 2025Updated last year
- A Python wrapper for the Hybrid Genetic Search algorithm for Capacitated Vehicle Routing Problems (HGS-CVRP)☆106May 19, 2026Updated 5 months ago
- ☆11Mar 2, 2022Updated 4 years ago
- Quantum-Assisted Restricted Boltzmann Machine Framework☆12Aug 9, 2025Updated last year
- A library for creating modern Minecraft plugins☆12Oct 2, 2026Updated 3 weeks ago
- Representing CP problems as graphs☆21Dec 18, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Unit and Integration Tests for JuMP NLP and MINLP solvers☆12Oct 14, 2026Updated 2 weeks ago
- Exact Branch-and-Benders-cut algorithm for the Maximal Covering Location Problem and for the Partial Set Covering Location Problem☆26Mar 30, 2023Updated 3 years ago
- Extensible Calibration and Localization☆14Oct 31, 2022Updated 3 years ago
- This is a mirror of the NVIDIA cuOpt project. Please do not open PRs here.☆16Updated this week
- ☆13Jan 29, 2026Updated 9 months ago
- A solver based on column generation☆45Sep 23, 2026Updated last month
- Target Detection Algorithm for reArm developed by Seeed Studio☆16Jun 24, 2026Updated 4 months ago
- Modified version of QPBO algorithm by Vladimir Kolmogorov for very large graphs.☆12Dec 14, 2018Updated 7 years ago
- Alkaid-SDVRP: An Efficient Open-Source Solver for the Vehicle Routing Problem with Split Deliveries☆13Nov 25, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Implementation for the paper "Target Cuts from Relaxed Decision Diagrams"☆12Nov 9, 2017Updated 8 years ago
- A genetic algorithm using Edge Assembly Crossover for the traveling salesman problem☆41Dec 29, 2021Updated 4 years ago
- ☆15May 18, 2025Updated last year
- Ellipse detection datasets and algorithms☆12Jul 17, 2026Updated 3 months ago
- The GPU-based primal-dual conic solver☆14Oct 1, 2026Updated 3 weeks ago
- Community detection in complex networks using hybrid quantum annealing on Amazon Braket☆13Jul 6, 2023Updated 3 years ago
- A GPU-Accelerated First-Order LP Solver☆165Oct 11, 2026Updated 2 weeks ago