This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
☆68May 17, 2026Updated this week
Alternatives and similar repositories for rustsat
Users that are interested in rustsat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆110Updated this week
- ☆26Updated this week
- IDA plugin to recover source code from panic information on rust☆18May 9, 2025Updated last year
- Stack-allocated trait objects☆19Feb 14, 2022Updated 4 years ago
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- 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.
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- Dimacs CNF utilities☆21Mar 28, 2026Updated last month
- Interactive visualizer for e-graphs☆28Jan 13, 2026Updated 4 months ago
- Proposed fixit commands for cargo☆31Updated this week
- SAT solver written in Rust☆283Nov 2, 2022Updated 3 years ago
- Zero-copy, no-std proquint encoding and decoding☆13May 7, 2023Updated 3 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- A Lazy Clause Generation Constraint Programming solver written in Rust.☆75Updated this week
- Refinement type checking and inference tool for Rust☆21May 14, 2026Updated last week
- 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.
- ☆629Oct 16, 2025Updated 7 months ago
- AngelScript JIT via C→MIR conversion☆24Sep 16, 2025Updated 8 months ago
- A library version of cargo-bloat & more☆35Jun 30, 2025Updated 10 months ago
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 8 months ago
- A reference architecture for differential fuzzing using a formally verified oracle☆35Jan 2, 2026Updated 4 months ago
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated last year
- An LLVM IR dataset for data-driven compiler optimization research☆79Mar 17, 2026Updated 2 months ago
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆112Apr 24, 2026Updated 3 weeks ago
- Easily and efficiently extract deeply nested data in Rust☆58Mar 28, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Structured BVA☆43Apr 26, 2024Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆101Updated this week
- ☆31Jun 25, 2025Updated 10 months ago
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A repository containing sample srop exploits and vulnerable binaries.☆12Sep 17, 2019Updated 6 years ago
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- UB-free and deterministic rustc fuzzer☆102Dec 21, 2025Updated 5 months ago
- ☆20May 8, 2026Updated 2 weeks ago
- Safe rust bindings to the Highs MILP Solver.☆32May 2, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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
- Yosys plugin for logic locking and supply-chain security☆24Apr 5, 2025Updated last year
- ☆10May 14, 2020Updated 6 years ago
- C# experimental WebAssembly/WASI VM to be used for adding modding support to games☆12Nov 5, 2019Updated 6 years ago
- ☆14Jun 27, 2021Updated 4 years ago
- Lightweight async PubSub framework☆13Aug 24, 2023Updated 2 years ago
- Experimental Rust-to-C++ binding generator, using Rust compiler APIs to ensure accurate and stable translation.☆39Mar 5, 2025Updated last year