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 8 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:
- Header-only C++23 template library for the bucket graph labeling algorithm for the Shortest Path Problem with Resource Constraints (SPPRC…☆26Jul 5, 2026Updated 2 weeks ago
- A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural langu…☆17Jul 10, 2026Updated last week
- MaxiCP☆38Updated this week
- 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☆17Feb 3, 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 collection of benchmarks (in DIMACS format) for various NP-Complete problems☆16May 21, 2025Updated last year
- Discorde TSP is an easy-to-use API for Concorde TSP solver in C and C++ programming languages☆20Oct 8, 2018Updated 7 years ago
- ☆19May 8, 2026Updated 2 months ago
- ☆25Jun 12, 2024Updated 2 years ago
- Multivariate Time Series Data usable for Time Series Segmentation and Time Series Classification. Each sample represents the multi-phased…☆11Apr 20, 2024Updated 2 years ago
- Domain-Independent Dynamic Programming (DIDP) framework implemented in Rust.☆57Apr 10, 2026Updated 3 months ago
- A collection of Cutting and Packing datasets☆33Dec 18, 2025Updated 7 months ago
- Tools to analyze models for numerical issues and check solutions for feasibility☆30Updated this week
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆26Sep 23, 2025Updated 9 months ago
- 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.
- A Python wrapper for the Hybrid Genetic Search algorithm for Capacitated Vehicle Routing Problems (HGS-CVRP)☆105May 19, 2026Updated 2 months ago
- Modified version of QPBO algorithm by Vladimir Kolmogorov for very large graphs.☆11Dec 14, 2018Updated 7 years ago
- A solver based on column generation☆42Updated this week
- Learning to Compare Nodes in Branch and Bound with Graph Neural Networks (NeurIPS 2022)☆28Nov 7, 2022Updated 3 years ago
- ☆11Mar 2, 2022Updated 4 years ago
- Representing CP problems as graphs☆21Dec 18, 2024Updated last year
- A scalable bottom-up approach for building data series indexes☆15Jul 27, 2021Updated 4 years ago
- ☆24Apr 12, 2025Updated last year
- Community detection in complex networks using hybrid quantum annealing on Amazon Braket☆13Jul 6, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 🔵 QUBO Annealing & Sampling MOI Interfaces☆15Apr 4, 2023Updated 3 years ago
- Nonlinear programming application examples solved with Artelys Knitro☆23Oct 8, 2025Updated 9 months ago
- Alkaid-SDVRP: An Efficient Open-Source Solver for the Vehicle Routing Problem with Split Deliveries☆13Nov 25, 2024Updated last year
- A GPU-Accelerated First-Order LP Solver☆154Jul 10, 2026Updated last week
- codes for the paper "Simulation-guided Beam Search for Neural Combinatorial Optimization"☆44Oct 2, 2022Updated 3 years ago
- Quantum Hamiltonian Descent: numerical simulation, real-machine deployment, and benchmarking☆15Jan 16, 2024Updated 2 years ago
- LP presolver☆36Apr 30, 2026Updated 2 months ago
- C++ implementation of an incremental primal-dual assignment problem solver.☆12Dec 13, 2024Updated last year
- The Atlas multi-GPU quantum circuit simulator.☆15Aug 17, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Julia interface for cuPDLPx.☆15Jul 10, 2026Updated last week
- Efficient modeling interface for mathematical optimization in Python☆312Jun 24, 2026Updated 3 weeks ago
- SolverForge is a constraint programming framework and solver written in Rust. It allows you to solve any planning problem, blazing fast!☆67Updated this week
- A package for EEG time series classification built on the aeon toolkit.☆27Jul 13, 2026Updated last week
- Julia implementation of a revised simplex method for cpu and gpu☆18Oct 8, 2020Updated 5 years ago
- SCOT Python API and tools☆10Sep 17, 2023Updated 2 years ago
- linear (time,space) greedy set cover implementation☆30Sep 16, 2021Updated 4 years ago