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 10 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☆29Sep 28, 2026Updated last week
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆48Jul 9, 2026Updated 3 months ago
- A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural langu…☆21Updated this week
- MaxiCP☆44Sep 30, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A Neural Separation Algorithm for the Rounded Capacity Inequalities (IJOC, 2024)☆16Feb 20, 2024Updated 2 years ago
- Towards Foundation Models for Mixed Integer Linear Programming☆19Feb 3, 2025Updated last year
- a collection of benchmarks (in DIMACS format) for various NP-Complete problems☆16Sep 17, 2026Updated 3 weeks ago
- ☆19Sep 21, 2026Updated 2 weeks ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆58Sep 17, 2026Updated 3 weeks 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
- Tools to analyze models for numerical issues, apply scaling, and check solutions for feasibility☆30Aug 10, 2026Updated 2 months ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆28Sep 23, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Python wrapper for the Hybrid Genetic Search algorithm for Capacitated Vehicle Routing Problems (HGS-CVRP)☆105May 19, 2026Updated 4 months ago
- ☆10Sep 16, 2020Updated 6 years ago
- Modified version of QPBO algorithm by Vladimir Kolmogorov for very large graphs.☆12Dec 14, 2018Updated 7 years ago
- ☆11Mar 2, 2022Updated 4 years ago
- Representing CP problems as graphs☆21Dec 18, 2024Updated last year
- Community detection in complex networks using hybrid quantum annealing on Amazon Braket☆13Jul 6, 2023Updated 3 years ago
- 🔵 QUBO Annealing & Sampling MOI Interfaces☆15Apr 4, 2023Updated 3 years ago
- A GPU-Accelerated First-Order LP Solver☆164Sep 29, 2026Updated last week
- codes for the paper "Simulation-guided Beam Search for Neural Combinatorial Optimization"☆44Oct 2, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A genetic algorithm using Edge Assembly Crossover for the traveling salesman problem☆40Dec 29, 2021Updated 4 years ago
- Official Implementation of Memento☆25Aug 21, 2026Updated last month
- Diagram features for Documenter.jl, powered by Kroki.jl☆16Sep 21, 2023Updated 3 years ago
- C++ implementation of an incremental primal-dual assignment problem solver.☆12Dec 13, 2024Updated last year
- Learning to Compare Nodes in Branch and Bound with Graph Neural Networks (NeurIPS 2022)☆29Nov 7, 2022Updated 3 years ago
- Efficient modeling interface for mathematical optimization in Python☆318Sep 8, 2026Updated last month
- PRaDA: Projective Radial Distortion Averaging☆25Sep 1, 2025Updated last year
- QPBO interface and alpha expansion for Python☆24Nov 3, 2022Updated 3 years ago
- Source code for branch and bound based train timetabling algorithms, for paper titled: Single-track train timetabling with guaranteed opt…☆12Aug 26, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Utilities and interfaces for using penalty models.☆20Aug 26, 2025Updated last year
- SolverForge is a constraint programming framework and solver written in Rust. It allows you to solve any planning problem, blazing fast!☆82Updated this week
- Julia implementation of a revised simplex method for cpu and gpu☆18Oct 8, 2020Updated 6 years ago
- 多线激光雷达与轮速计标定(运动学方程)☆20Aug 24, 2021Updated 5 years ago
- ☆17Dec 19, 2019Updated 6 years ago
- ☆13Feb 9, 2024Updated 2 years ago
- SCOT Python API and tools☆10Sep 17, 2023Updated 3 years ago