Management of Benchmark Instances and Instance Attributes
☆22Aug 3, 2026Updated last week
Alternatives and similar repositories for gbd
Users that are interested in gbd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dimacs CNF utilities☆21Jun 23, 2026Updated last month
- Library for creation of SAT instances.☆23Sep 7, 2022Updated 3 years ago
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated last year
- KaMPIng: (Near) zero-overhead MPI wrapper for modern C++☆71Jul 22, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- microsat☆143Jun 18, 2022Updated 4 years ago
- Towards Optimal-Space Minimal Perfect Hashing Beyond Brute-Force☆15Mar 31, 2025Updated last year
- Lecture: Practical SAT Solving (ST 2025)☆13Jul 1, 2026Updated last month
- A simple (unfinished) SMT solver for QF_ABV.☆36Mar 14, 2019Updated 7 years ago
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- Mage DPS simulator for WoW Wotlk Classic☆11Feb 27, 2024Updated 2 years ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆50Dec 21, 2025Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Packed and Compressed Hash Tables☆15Apr 7, 2025Updated last year
- Parallel space-efficient minimal perfect hash function on SIMD and GPU☆16Jan 4, 2026Updated 7 months ago
- Dumping CTF related code here☆18May 3, 2017Updated 9 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Mar 12, 2026Updated 4 months ago
- G2SAT: Learning to Generate SAT Formulas☆50Jun 25, 2020Updated 6 years ago
- Sources for algorithm selection for combinatorial search problems survey☆17Jul 10, 2019Updated 7 years ago
- Karlsruhe Rapid Ride-Pooling (KaRRi) Dynamic Ride-Pooling Dispatcher.☆13Updated this week
- A toolkit for SAT-based prototyping in Python☆460Updated this week
- CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI bre…☆10May 19, 2022Updated 4 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.
- ☆10May 14, 2020Updated 6 years ago
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 6 years ago
- static symmetry breaking for SAT☆23May 26, 2026Updated 2 months ago
- Type checked partial references for rust☆14Jul 17, 2021Updated 5 years ago
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago
- https://david.kolo.ski/blog/intelligent-brute-forcing/☆15Oct 14, 2021Updated 4 years ago
- The DRAT-trim proof checker☆71Nov 25, 2024Updated last year
- EEG-based Emotion Recognition using Deep Reinforcement Learning☆17Dec 31, 2023Updated 2 years ago
- CaDiCaL SAT Solver☆585Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆659Oct 16, 2025Updated 9 months ago
- Problems and Results of IWLS 2022 Programming Contest☆24Apr 12, 2025Updated last year
- XReason - formal reasoning about explanations for ML models☆18May 16, 2025Updated last year
- Near-linear time algorithm for computing near-maximum independent set☆19Mar 19, 2022Updated 4 years ago
- Reformat only the lines you changed☆11Mar 16, 2020Updated 6 years ago
- Fast and highly tuned bit vector implementation including space efficient rank and select support having only 3.51% space overhead.☆36Apr 7, 2025Updated last year
- A univeral P system simulator for membrane computing researchers.☆10Dec 28, 2019Updated 6 years ago