Management of Benchmark Instances and Instance Attributes
☆21Feb 9, 2026Updated 2 weeks ago
Alternatives and similar repositories for gbd
Users that are interested in gbd are comparing it to the libraries listed below
Sorting:
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- SATZilla SAT feature extraction tool☆11Jan 15, 2026Updated last month
- A procedural macro implementation of `quote!`.☆24Mar 20, 2023Updated 2 years ago
- A Simple CDCL Solver☆35Mar 8, 2023Updated 2 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆71Aug 11, 2025Updated 6 months ago
- A simple (unfinished) SMT solver for QF_ABV.☆36Mar 14, 2019Updated 6 years ago
- CSP solver for puzzles☆17Feb 23, 2026Updated last week
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 7 months ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Sep 8, 2025Updated 5 months ago
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- POSIX-compatible tiny multi-threading library for Intel Nios II / Xilinx Zynq-7000☆13Jun 14, 2020Updated 5 years ago
- Bindings to FFTW3☆10Feb 29, 2016Updated 10 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 2 years ago
- 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 3 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 2 years ago
- ANARI Specification Registry☆12Nov 12, 2025Updated 3 months ago
- C# experimental WebAssembly/WASI VM to be used for adding modding support to games☆12Nov 5, 2019Updated 6 years ago
- ☆10May 14, 2020Updated 5 years ago
- A simple neural net implementation.☆42Jul 31, 2019Updated 6 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆49Dec 21, 2025Updated 2 months ago
- Paper, code, experiments and evaluation for ESA2020 paper "Space-efficient, Fast and Exact Routing in Time-dependent Road Networks"☆11Mar 12, 2021Updated 4 years ago
- a multigrid solver library for inverting Wilson Clover fermions from lattice QCD☆11Nov 6, 2023Updated 2 years ago
- A cargo subcommand to build Rust with docker☆19Aug 24, 2017Updated 8 years ago
- Code Blocks 20.03 for macOS☆11Apr 22, 2020Updated 5 years ago
- Interface procps library from Rust☆10Dec 1, 2018Updated 7 years ago
- Generates .pyi files from external .so libraries built using pyo3☆16Nov 15, 2024Updated last year
- Another|Alternative|Awesome VE Offloading stack using ve-urpc☆15Aug 16, 2023Updated 2 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Jun 29, 2021Updated 4 years ago
- Reformat only the lines you changed☆10Mar 16, 2020Updated 5 years ago
- Rust Python bindings with Hpy☆11Sep 29, 2021Updated 4 years ago
- Type checked partial references for rust☆14Jul 17, 2021Updated 4 years ago
- A compiler and stack-based VM for pseudo-assembly as defined in the Computer Science Coursebook for Cambridge International AS & A Level,…☆17Nov 27, 2025Updated 3 months ago
- The Standard Interface for Incremental Satisfiability Solving☆53Jun 28, 2022Updated 3 years ago
- Parallel space-efficient minimal perfect hash function on SIMD and GPU☆15Jan 4, 2026Updated last month
- The sources of the web LFortran GUI interface☆14Feb 21, 2026Updated last week
- Set of Minimal C Utilities☆16Aug 21, 2015Updated 10 years ago
- XeLaTeX で和文する実験☆14Nov 6, 2022Updated 3 years ago
- kdtree implementation for rust.☆14Mar 24, 2020Updated 5 years ago