Benchmark instances for the maximum weight clique problem
☆19Jan 19, 2018Updated 8 years ago
Alternatives and similar repositories for max-weight-clique-instances
Users that are interested in max-weight-clique-instances are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆12Jan 31, 2022Updated 4 years ago
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated 2 years ago
- Feasibility Jump☆33Oct 26, 2023Updated 2 years ago
- A SAT solver written in Haskell.☆39Oct 7, 2018Updated 7 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Feb 20, 2024Updated 2 years 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.
- Spring 2022 Course Website for Operating System Course at Peking University☆11Oct 14, 2022Updated 3 years ago
- Parallel solvers for hard problems☆12Oct 12, 2022Updated 3 years ago
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 years ago
- Quantum Computing Experimentation with Amazon Braket, published by Packt☆21Feb 22, 2025Updated last year
- Feasibility Pump Collection☆16Jul 6, 2023Updated 3 years ago
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- Specialized & performant CSV readers, writers and enrichers for python.☆15Feb 26, 2026Updated 5 months ago
- A Maximum Independent Set (MIS) solver library using Quantum Computing☆19Updated this week
- Parallel Presolve for Integer and Linear Optimization☆40Jul 12, 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 lab's static website and its admin.☆12Mar 19, 2026Updated 4 months ago
- Compact Spectral Representation for Imaginary-time/Matsubara-frequency Green's Functions☆22Jan 17, 2026Updated 6 months ago
- A constraint programming solver with support for proof logging☆19Updated this week
- Compute an optimized solution to the Vehicle Routing Problem with Time Windows using OR-Tools☆11Apr 20, 2023Updated 3 years ago
- Create schematic drawings of railway infrastructure☆12Dec 11, 2019Updated 6 years ago
- ☆14Jun 19, 2025Updated last year
- A Layered Approach for Multi-Agent Path Finding☆12Jan 5, 2023Updated 3 years ago
- Some ROS code examples which hopefully are robot-agnostic.☆12May 16, 2018Updated 8 years ago
- 编译原理(龙书)相关算法的实现☆15Jan 4, 2024Updated 2 years ago
- 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.
- This tool visualizes solutions for the Vehicle Routing Problem combined with the 3D Container Loading Problem.☆14Nov 8, 2022Updated 3 years ago
- 一个简单的音乐可视化程序☆12May 25, 2020Updated 6 years ago
- HANA XS Advanced Python Buildpack and example multi-target-application (This Repository has been archived upon Members choice)☆10Feb 19, 2020Updated 6 years ago
- 一个集注册、登录、信息修改、邮件验证、重设密码以及令牌模式第三方授权（简单的，无权限区分）的用户中心。使用框架Laravel，不过用得不是很深入吧，登录等等功能没有直接运用内置的。☆10Feb 24, 2017Updated 9 years ago
- Ad-hoc online meetups for the Rust community. Everyone is welcome! 🌎🌈✌️☆15Mar 10, 2021Updated 5 years ago
- Simple examples for extending Python with C/C++☆11Aug 2, 2016Updated 9 years ago
- Header-only C++23 library for linear, mixed-integer and quadratic programming — one model, any solver, at raw C API speed.☆15Updated this week
- Code to transform lerobot dataset into rlds data format☆12Mar 17, 2025Updated last year
- Implementation of the Caprara, Fischetti, and Toth algorithm for the Set Covering problem.☆18Mar 5, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Collection of High Performance Parallel Skeletons for Tree Search Problems☆22Jul 15, 2026Updated 2 weeks ago
- Original high performance simplex solver of Qi Huangfu☆14Oct 12, 2018Updated 7 years ago
- A Fast Iterated-Local-Search Localized Optimization algorithm for the CVRP.☆50Jul 15, 2023Updated 3 years ago
- 从某清华模版魔改的beamer主题x☆22Apr 24, 2022Updated 4 years ago
- Introduction to Secure Multi-Party Computations☆15Nov 13, 2018Updated 7 years ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆21Mar 25, 2026Updated 4 months ago
- This is a GitHub archive for the best known solutions and solvers of the low autocorrelation binary sequence (labs) problem. It also is a…☆11Sep 15, 2020Updated 5 years ago