a collection of benchmarks (in DIMACS format) for various NP-Complete problems
☆16May 21, 2025Updated last year
Alternatives and similar repositories for npbench
Users that are interested in npbench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- binary/integer linear programming solver☆17Nov 25, 2024Updated last year
- ☆19May 8, 2026Updated 2 months ago
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated 2 years ago
- GDVB| Systematic Generation of Diverse Benchmarks for DNN Verification☆10May 27, 2024Updated 2 years ago
- metaheuristics for traveling salesman problem (TSP)☆20Aug 3, 2023Updated 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.
- 🌸 A collection of Vietnamese women who are currently working in the field of Computer Science.☆16Jul 8, 2026Updated last week
- A state-of-the-art inexact solver for the Traveling Salesman problem (TSP).☆28Nov 21, 2020Updated 5 years ago
- meta-heuristics solver for easy modeling☆29Oct 17, 2022Updated 3 years ago
- Undefined Behaviour Snippets☆18Apr 3, 2017Updated 9 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 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
- A squad movement planning library for StarCraft AI using Monte Carlo Tree Search and Negamax☆14Jan 1, 2019Updated 7 years ago
- Simple examples for extending Python with C/C++☆11Aug 2, 2016Updated 9 years ago
- A hot game prototype jammed out at AI & Games Dagstuhl Seminar 2015.☆12Mar 21, 2015Updated 11 years 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.
- Very small and simple parser for CPLEX LP files into logical Python data structures☆11Dec 20, 2012Updated 13 years ago
- Original high performance simplex solver of Qi Huangfu☆14Oct 12, 2018Updated 7 years ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 3 years ago
- Add furigana to text.☆16Aug 17, 2016Updated 9 years ago
- C++ library for a binary quadratic model☆14Jun 29, 2026Updated 3 weeks ago
- LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.☆12Jun 14, 2022Updated 4 years ago
- Simulated Annealing for MAX-CUT problems on {+1,-1}-weighted complete graphs☆12Feb 2, 2019Updated 7 years ago
- Seminar paper "Understanding Convolutional Neural Networks".☆13Nov 28, 2018Updated 7 years ago
- Miscellaneous Jupyter notebooks and slides for public talks☆11Jan 7, 2019Updated 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. Zero configuration with optimized deployments.
- INTRODUCTION TO MACHINE LEARNING: An introductory practical course by Florent Krzakala and Antoine Baker☆15May 26, 2019Updated 7 years ago
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆12Jan 31, 2022Updated 4 years ago
- A solver based on local search☆14Jun 6, 2026Updated last month
- C++ metaheuristics modeler/solver for general integer optimization problems.☆55Updated this week
- Package for solving dial-a-ride problems.☆12Apr 16, 2024Updated 2 years ago
- Instances for the Pickup and Delivery Problem with Time Windows (PDPTW) based on open data☆61Jul 12, 2025Updated last year
- ☆15Jul 13, 2026Updated last week
- A neural network verification tool based on the DPLL(T) SMT Solving algorithm.☆35Jul 6, 2026Updated 2 weeks ago
- Implementation of the Caprara, Fischetti, and Toth algorithm for the Set Covering problem.☆18Mar 5, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Visualizations of Mittelmann benchmarks☆67Jun 15, 2026Updated last month
- XCSP3 Core Parser in C++☆19Jan 14, 2026Updated 6 months ago
- Set Partitioning Heuristic (SPH) based on CPLEX MILP solver and created starting from the CFT Heuristic implemented by Accorsi Luca and C…☆14Dec 1, 2023Updated 2 years ago
- A dataset of posters for movies from MovieLens-25M☆11May 17, 2021Updated 5 years ago
- Code for OR Analysis of Complex Systems (Spring 2020).☆11Mar 31, 2020Updated 6 years ago
- Optimization of permutation flow shop scheduling on the basis of makespan computation using natural algorithms. Done as a master's degree…☆13Feb 18, 2019Updated 7 years ago
- Job Shop Scheduling Problem Solver☆15Apr 26, 2019Updated 7 years ago