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 3 months ago
Alternatives and similar repositories for CliSAT
Users that are interested in CliSAT are comparing it to the libraries listed below
Sorting:
- Code and data from the paper "Exponential-size neighborhoods for the pickup-and-delivery traveling salesman problem", authored by T. Pach…☆19Jan 18, 2023Updated 3 years ago
- ☆18Oct 27, 2025Updated 4 months ago
- Reinforcement Learning for Cut Selection☆12Dec 8, 2022Updated 3 years ago
- ☆18Jun 12, 2024Updated last year
- A Neural Separation Algorithm for the Rounded Capacity Inequalities (IJOC, 2024)☆14Feb 20, 2024Updated 2 years ago
- Learning to Compare Nodes in Branch and Bound with Graph Neural Networks (NeurIPS 2022)☆26Nov 7, 2022Updated 3 years ago
- 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
- Discorde TSP is an easy-to-use API for Concorde TSP solver in C and C++ programming languages☆20Oct 8, 2018Updated 7 years ago
- WIP: Tune the hyperparameters of Google's OR-Tools' CP-SAT solver for specific models☆22Sep 23, 2025Updated 5 months ago
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆28Jun 13, 2025Updated 8 months ago
- Representing CP problems as graphs☆20Dec 18, 2024Updated last year
- A Python wrapper for the Hybrid Genetic Search algorithm for Capacitated Vehicle Routing Problems (HGS-CVRP)☆98Mar 30, 2025Updated 11 months ago
- A modular Python package for the development of metaheuristic algorithms for Vehicle Routing Problems with Intermediate Stops☆29Dec 27, 2023Updated 2 years ago
- Tools to analyze models for numerical issues and check solutions for feasibility☆30Nov 26, 2025Updated 3 months ago
- SCOT Python API and tools☆10Sep 17, 2023Updated 2 years ago
- Interactive Performance Evaluation Tools for Optimization Software☆27Nov 16, 2023Updated 2 years ago
- A standalone local search solver for general mixed integer programming☆46Feb 12, 2026Updated 2 weeks ago
- linear (time,space) greedy set cover implementation☆30Sep 16, 2021Updated 4 years ago
- MaxiCP☆17Updated this week
- A solver based on column generation☆40Dec 27, 2025Updated 2 months ago
- A package for tree-based statistical estimation and inference using optimal decision trees.☆41Jul 14, 2024Updated last year
- JuLS is a Julia Local Search solver that combines Constraint Based Local Search (CBLS) and Constraint Programming (CP)☆172Sep 18, 2025Updated 5 months ago
- Code repo for ICML'23 Searching Large Neighborhoods for Integer Linear Programs with Contrastive Learning☆46Jul 10, 2023Updated 2 years ago
- ☆10Nov 1, 2023Updated 2 years ago
- Community list of: AI, ML, IoT, big&open data & co.: The evolving eco-system of machine-assisted transport planning, management and opera…☆11Sep 30, 2024Updated last year
- Deep Learning Assisted Heuristic Tree Search for the Container Pre-marshalling Problem☆11Nov 26, 2019Updated 6 years ago
- ☆11Dec 30, 2020Updated 5 years ago
- ☆10May 3, 2024Updated last year
- Sparse Convex Optimization Toolkit (SCOT)☆13Feb 5, 2024Updated 2 years ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years ago
- Neural Destruction Search for Vehicle Routing Problems☆18Oct 6, 2025Updated 4 months ago
- A genetic algorithm using Edge Assembly Crossover for the traveling salesman problem☆39Dec 29, 2021Updated 4 years ago
- Machine-learning-based column selection☆41Dec 21, 2021Updated 4 years ago
- codes for the paper "Simulation-guided Beam Search for Neural Combinatorial Optimization"☆42Oct 2, 2022Updated 3 years ago
- C++ implementation of an incremental primal-dual assignment problem solver.☆12Dec 13, 2024Updated last year
- Towards Foundation Models for Mixed Integer Linear Programming☆15Feb 3, 2025Updated last year
- Multivariate Time Series Data usable for Time Series Segmentation and Time Series Classification. Each sample represents the multi-phased…☆11Apr 20, 2024Updated last year
- [AAAI 2026] TrajEvo: Designing Trajectory Prediction Heuristics via LLM-driven Evolution☆14Aug 1, 2025Updated 7 months ago
- ☆10Sep 16, 2020Updated 5 years ago