An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnitude
☆15Nov 15, 2025Updated 4 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:
- ☆19Mar 16, 2026Updated 3 weeks ago
- 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
- ☆22Jun 12, 2024Updated last year
- A Neural Separation Algorithm for the Rounded Capacity Inequalities (IJOC, 2024)☆15Feb 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 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Branch-and-Price Algorithm for the Bin Packing Problem (using CPLEX as pricer and LP solver). It implements a Ryan-Foster branching schem…☆16Feb 24, 2019Updated 7 years ago
- Free online course on computational biology of aging driven by Jupyter book and supported by Skoltech.☆20Dec 31, 2023Updated 2 years ago
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆29Jun 13, 2025Updated 9 months ago
- Multivariate Time Series Data usable for Time Series Segmentation and Time Series Classification. Each sample represents the multi-phased…☆11Apr 20, 2024Updated last year
- Reinforcement Learning for Cut Selection☆12Dec 8, 2022Updated 3 years ago
- [AAAI 2026] TrajEvo: Designing Trajectory Prediction Heuristics via LLM-driven Evolution☆16Aug 1, 2025Updated 8 months ago
- A modular Python package for the development of metaheuristic algorithms for Vehicle Routing Problems with Intermediate Stops☆30Dec 27, 2023Updated 2 years ago
- A Python wrapper for the Hybrid Genetic Search algorithm for Capacitated Vehicle Routing Problems (HGS-CVRP)☆98Mar 30, 2025Updated last year
- Tools to analyze models for numerical issues and check solutions for feasibility☆30Mar 31, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Sep 16, 2020Updated 5 years ago
- Towards Foundation Models for Mixed Integer Linear Programming☆16Feb 3, 2025Updated last year
- A solver based on column generation☆41Dec 27, 2025Updated 3 months ago
- Learning to Compare Nodes in Branch and Bound with Graph Neural Networks (NeurIPS 2022)☆28Nov 7, 2022Updated 3 years ago
- A library for creating modern Minecraft plugins☆12Jan 19, 2026Updated 2 months ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆25Sep 23, 2025Updated 6 months ago
- Minimalistic Java implementation of a confusion matrix for evaluating learning algorithms, including accuracy, macro F-measure, Cohen's K…☆18Dec 22, 2021Updated 4 years ago
- Representing CP problems as graphs☆21Dec 18, 2024Updated last year
- Nonlinear programming application examples solved with Artelys Knitro☆23Oct 8, 2025Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Solve a Sudoku puzzle with a quantum computer☆34Dec 14, 2023Updated 2 years ago
- A scalable bottom-up approach for building data series indexes☆15Jul 27, 2021Updated 4 years ago
- JuLS is a Julia Local Search solver that combines Constraint Based Local Search (CBLS) and Constraint Programming (CP)☆175Sep 18, 2025Updated 6 months ago
- A Java library for Matrix Profile☆21Jul 8, 2021Updated 4 years ago
- Alkaid-SDVRP: An Efficient Open-Source Solver for the Vehicle Routing Problem with Split Deliveries☆14Nov 25, 2024Updated last year
- codes for the paper "Simulation-guided Beam Search for Neural Combinatorial Optimization"☆43Oct 2, 2022Updated 3 years ago
- A benchmark for cache efficient data structures.☆30Jul 28, 2025Updated 8 months ago
- A genetic algorithm using Edge Assembly Crossover for the traveling salesman problem☆40Dec 29, 2021Updated 4 years ago
- Tutorials and related talks given by the aeon community☆19Oct 11, 2025Updated 5 months 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.
- [EUSIPCO 2024] Python implementation of "ASTRIDE: Adaptive Symbolization for Time Series Databases"☆20Nov 23, 2024Updated last year
- ReportParse is a unified NLP analyzer for corporate sustainability reports☆20Sep 18, 2024Updated last year
- OPT-BENCH: Evaluating LLM Agent on Large-Scale Search Spaces Optimization Problems☆121Jul 13, 2025Updated 8 months ago
- Julia implementation of a revised simplex method for cpu and gpu☆18Oct 8, 2020Updated 5 years ago
- Optimization Models and Algorithms☆18Mar 30, 2026Updated last week
- A package for EEG time series classification built on the aeon toolkit.☆23Mar 30, 2026Updated last week
- Implementation for MOFFlow: Flow Matching for Structure Prediction of Metal-Organic Frameworks☆25Aug 28, 2025Updated 7 months ago