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.
☆59Apr 5, 2026Updated last 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:
- ☆25Apr 1, 2026Updated last week
- Logic circuit analysis and optimization☆47Feb 2, 2026Updated 2 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆106Apr 5, 2026Updated last week
- ☆17Nov 19, 2021Updated 4 years ago
- VLSI placement and routing tool☆16Dec 20, 2025Updated 3 months 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.
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Dimacs CNF utilities☆21Mar 28, 2026Updated 2 weeks ago
- Proposed fixit commands for cargo☆31Apr 2, 2026Updated last week
- SAT solver written in Rust☆275Nov 2, 2022Updated 3 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆56Feb 27, 2026Updated last month
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆96Mar 10, 2026Updated last month
- Refinement type checking and inference tool for Rust☆20Mar 31, 2026Updated last week
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆94Dec 24, 2025Updated 3 months ago
- 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.
- AngelScript JIT via C→MIR conversion☆22Sep 16, 2025Updated 6 months ago
- A library version of cargo-bloat & more☆35Jun 30, 2025Updated 9 months ago
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 6 months ago
- A reference architecture for differential fuzzing using a formally verified oracle☆35Jan 2, 2026Updated 3 months ago
- Token De/Serializer for testing De/Serialize implementations☆14Dec 17, 2024Updated last year
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated last year
- ☆623Oct 16, 2025Updated 5 months ago
- Easily and efficiently extract deeply nested data in Rust☆55Mar 28, 2026Updated 2 weeks ago
- ☆32Jun 25, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SLE course at University of Groningen☆10Jan 23, 2024Updated 2 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- This provides basic replication materials for the Dutch Polling Indicator (Peilingwijzer).☆11Mar 15, 2017Updated 9 years ago
- UB-free and deterministic rustc fuzzer☆101Dec 21, 2025Updated 3 months ago
- A 277 KB no_std WebAssembly JIT engine that goes head-to-head with V8 and Wasmtime.☆43Updated this week
- ☆17Apr 2, 2026Updated last 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 3 years ago
- ☆10May 14, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- C# experimental WebAssembly/WASI VM to be used for adding modding support to games☆12Nov 5, 2019Updated 6 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
- Type checked partial references for rust☆14Jul 17, 2021Updated 4 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated 2 months ago
- Clang plugin to enforce custom C++ feature restrictions☆23Nov 27, 2025Updated 4 months ago
- ☆19Updated this week