Exactcolors is a collection of algorithms for exactly solving graph coloring and weighted stable set problems.
☆15Jun 18, 2025Updated 9 months ago
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:
- Fork of the Concorde TSP solver with an easier build procedure☆15Mar 17, 2024Updated 2 years ago
- Combinatorial Matrix Recognition☆14Jan 22, 2026Updated 2 months ago
- org-inline-tags enhances org-mode by enabling hashtag-style tags in plain lists. Tags are fontified for easy visibility and visual panach…☆14Jul 22, 2023Updated 2 years ago
- ☆10Oct 22, 2018Updated 7 years ago
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆15Nov 15, 2025Updated 5 months ago
- 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.
- Search and launch your Playnite library.☆12Sep 12, 2022Updated 3 years ago
- The official implementation of "RouteExplainer: An Explanation Framework for Vehicle Routing Problem" (PAKDD 2024, oral)☆17Apr 5, 2024Updated 2 years ago
- ☆19Mar 16, 2026Updated 3 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆44Feb 27, 2026Updated last month
- Keyword extraction using Scake, KeyBERT, Fine-tuning Transformer BERT-like models and ChatGPT.☆12May 22, 2023Updated 2 years ago
- ☆12Sep 15, 2021Updated 4 years ago
- The game controller for matches in the RoboCup Small Size league☆27Updated this week
- ☆15Aug 9, 2021Updated 4 years ago
- Repository of k-paths: code, dataset, technical report, visualization☆14May 20, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Optimization Models and Algorithms☆18Mar 30, 2026Updated 2 weeks ago
- Official Code of The Combinatorial Brain Surgeon: Pruning Weights That Cancel One Another in Neural Networks[ICML2022]☆16Sep 20, 2022Updated 3 years ago
- A set of reusable components for fast prototyping CVRP heuristic solution approaches.☆19Jul 31, 2025Updated 8 months ago
- C++ Interfaces for the nAG Library☆18Jul 24, 2025Updated 8 months ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Dec 14, 2016Updated 9 years ago
- ☆37Dec 30, 2025Updated 3 months ago
- Java codification of the pulse algorithm to solve the Constrained Shortest Path Problem (CSP)☆22Apr 6, 2018Updated 8 years ago
- A Python interpreter, in Python.☆29Jul 4, 2024Updated last year
- ☆15Feb 9, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Material for the ISCO 2018 spring school: “Advanced Mixed Integer Programming Formulation Techniques”☆16Apr 14, 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 5 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆46Mar 5, 2026Updated last month
- Elementary branch-price-and-cut algorithm for the vehicle routing problem with stochastic demands under optimal restocking☆17Feb 10, 2023Updated 3 years ago
- ☆13Oct 10, 2016Updated 9 years ago
- Unfinished Typst backend for org-export.☆16Jan 3, 2026Updated 3 months ago
- ☆15Mar 24, 2023Updated 3 years ago
- A solver for linear programming with GPU support☆41Apr 2, 2026Updated last week
- MIP 2024 Computational Competition☆17Jan 29, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Skoltech, Term1 Fall course☆12Oct 1, 2021Updated 4 years ago
- Single-step image generation at 306 FPS. Drifting vs Diffusion head-to-head on CIFAR-10.☆40Feb 13, 2026Updated 2 months ago
- ☆14Aug 16, 2022Updated 3 years ago
- The goal of High Frontier is a civilization-like game, which uses more realistic modelling of economy, climate, research and migration. U…☆14May 13, 2024Updated last year
- A solver for the fixed route vehicle charging problem☆24Jun 2, 2021Updated 4 years ago
- Generators for linear programming instances with controllable difficulty and solution properties.☆14Apr 26, 2021Updated 4 years ago
- Parametric Integer Programming Library☆15Jan 23, 2024Updated 2 years ago