An educational SAT solver written in Rust
☆13Sep 23, 2023Updated 2 years ago
Alternatives and similar repositories for satire
Users that are interested in satire are comparing it to the libraries listed below
Sorting:
- USB Gadget Configfs Library☆10Feb 2, 2016Updated 10 years ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆38Feb 19, 2026Updated last month
- Cast Sender for React (Chromecast CAF)☆15Jul 30, 2020Updated 5 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- Rust bindings for googleprojectzero/TinyInst☆25Dec 3, 2025Updated 3 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆104Updated this week
- POSTECH: Compiler Construction (Spring 2022)☆11Mar 10, 2023Updated 3 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Mar 30, 2020Updated 5 years ago
- ☆13Dec 14, 2021Updated 4 years ago
- kdtree implementation for rust.☆14Mar 24, 2020Updated 5 years ago
- Learning how to use IOSurfaceAccelerator☆24Apr 9, 2023Updated 2 years ago
- ☆12Mar 10, 2020Updated 6 years ago
- Stateless Network Fuzzer for QEMU (Targeting SLiRP)☆17Oct 19, 2020Updated 5 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- POSTECH: Heterogeneous Parallel Computing (Fall 2023)☆19Dec 9, 2023Updated 2 years ago
- Structured BVA☆42Apr 26, 2024Updated last year
- avoid unwrap() method☆20Feb 6, 2026Updated last month
- CTF challenges that I created☆19Dec 26, 2021Updated 4 years ago
- some research results of sep☆20Apr 9, 2021Updated 4 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆11Jul 4, 2025Updated 8 months ago
- Obtains the kernel task port and establishes a kernel function calling primitive on the iPhone XS, iPhone XR, and iPhone 8 running iOS 12…☆30Jan 29, 2019Updated 7 years ago
- Parallelized 3D FDTD Schrödinger Equation Solver☆20Aug 16, 2018Updated 7 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Jul 21, 2024Updated last year
- Rust crate for numpy NPY files☆32May 15, 2025Updated 10 months ago
- ☆14Sep 14, 2020Updated 5 years ago
- PoC for CVE-2021-1056, related to GPU Container Security☆16Jan 12, 2021Updated 5 years ago
- The transaction abstraction library and its executors for rust☆18Jun 26, 2017Updated 8 years ago
- Files and writeups for challenges I authored in BalsnCTF 2022.☆26Sep 5, 2022Updated 3 years ago
- Fuzzing SILK with AFL☆25May 29, 2020Updated 5 years ago
- A model checker based on SAT solving and induction☆15Mar 27, 2015Updated 10 years ago
- Investigating the bug behind CVE-2021-26708☆28Feb 16, 2021Updated 5 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆14Apr 1, 2017Updated 8 years ago
- ☆29Apr 7, 2023Updated 2 years ago
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 4 months ago
- A Rust firmware for mechanical keyboards using the Teensy 3.2☆11Dec 15, 2018Updated 7 years ago
- ☆22Jan 23, 2025Updated last year
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago