Exactcolors is a collection of algorithms for exactly solving graph coloring and weighted stable set problems.
☆16Jun 18, 2025Updated last year
Alternatives and similar repositories for exactcolors
Users that are interested in exactcolors are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆19May 8, 2026Updated 3 months ago
- Combinatorial Matrix Recognition☆15Jan 22, 2026Updated 7 months ago
- Explainable Constraint Solving - A Hands-On Tutorial☆29Aug 27, 2026Updated last week
- Fast and exact ILP-based solvers for the Minimum Flow Decomposition problem, and variants of it.☆14Dec 4, 2025Updated 9 months ago
- PathWyse: a flexible, open-source library for the resource constrained shortest path problem☆45Jul 9, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆18May 7, 2026Updated 3 months ago
- Search and launch your Playnite library.☆13Updated this week
- a collection of benchmarks (in DIMACS format) for various NP-Complete problems☆16May 21, 2025Updated last year
- Index and search your personal data quickly and privately.☆28Nov 20, 2021Updated 4 years ago
- ☆15Aug 9, 2021Updated 5 years ago
- Library for finding maximum cliques on graphs☆17Jan 11, 2022Updated 4 years ago
- ☆10May 5, 2019Updated 7 years ago
- ☆12Sep 15, 2021Updated 4 years ago
- 3D Slicer module to visualize the EPISURG dataset and segment postoperative brain resection cavities using deep learning.☆12Feb 4, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The game controller for matches in the RoboCup Small Size league☆29Updated this week
- Java codification of the pulse algorithm to solve the Constrained Shortest Path Problem (CSP)☆22Apr 6, 2018Updated 8 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
- Official Code of The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networks[ICML2022]☆16Sep 20, 2022Updated 3 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Aug 4, 2023Updated 3 years ago
- ☆13Feb 9, 2024Updated 2 years ago
- A set of reusable components for fast prototyping CVRP heuristic solution approaches.☆18Jul 31, 2025Updated last year
- Convert Markdown inside Office Word documents☆14Jul 17, 2026Updated last month
- An Atom package designed to make editing PoE item filters easier.☆11Aug 23, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Python interpreter, in Python.☆29Jul 4, 2024Updated 2 years ago
- ☆17Oct 2, 2021Updated 4 years ago
- Interactive Performance Evaluation Tools for Optimization Software☆27Nov 16, 2023Updated 2 years ago
- Optimization Models and Algorithms☆18May 4, 2026Updated 4 months ago
- C++ Interfaces for the nAG Library☆18Jul 24, 2025Updated last year
- Elementary branch-price-and-cut algorithm for the vehicle routing problem with stochastic demands under optimal restocking☆17Feb 10, 2023Updated 3 years ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆49Aug 27, 2026Updated last week
- 中国地图四色着色，回溯法☆14Jan 31, 2021Updated 5 years ago
- CS261A Project: Multi-Agent Pathfinding☆19Nov 19, 2020Updated 5 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.
- Implementation of a robust no-fit polygon generation in a C++ library using an orbiting approach☆130Mar 8, 2023Updated 3 years ago
- ☆15Feb 19, 2022Updated 4 years ago
- A solver for the fixed route vehicle charging problem☆24Jun 2, 2021Updated 5 years ago
- Elementary shortest path problem with resource constraint☆29May 29, 2026Updated 3 months ago
- GA algorithm to solve bin packing and production scheduling problems☆15Sep 11, 2022Updated 3 years ago
- Multi-agent coding system for OpenCode using the CRISPY framework☆18Apr 11, 2026Updated 4 months ago
- ☆15Mar 24, 2023Updated 3 years ago