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.
☆53Feb 24, 2026Updated last week
Alternatives and similar repositories for rustsat
Users that are interested in rustsat are comparing it to the libraries listed below
Sorting:
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆55Updated this week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Jul 18, 2024Updated last year
- AngelScript JIT via C→MIR conversion☆20Sep 16, 2025Updated 5 months ago
- ☆13Feb 11, 2026Updated 2 weeks ago
- Lightweight async PubSub framework☆13Aug 24, 2023Updated 2 years ago
- Token De/Serializer for testing De/Serialize implementations☆14Dec 17, 2024Updated last year
- Zero-copy, no-std proquint encoding and decoding☆13May 7, 2023Updated 2 years ago
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- ☆17Nov 19, 2021Updated 4 years ago
- Refinement type checking and inference tool for Rust☆17Feb 23, 2026Updated last week
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆28Jan 8, 2026Updated last month
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- A reference architecture for differential fuzzing using a formally verified oracle☆33Jan 2, 2026Updated 2 months ago
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated last year
- Stack-allocated trait objects☆19Feb 14, 2022Updated 4 years ago
- ☆17Jan 27, 2019Updated 7 years ago
- Proposed fixit commands for cargo☆30Updated this week
- ☆16Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆674Jun 13, 2025Updated 8 months ago
- Google's consistent hashing algorithm☆27Oct 26, 2021Updated 4 years ago
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 5 months ago
- Interval Tree In Rust☆20Oct 22, 2022Updated 3 years ago
- Rust procedural macro attribute parser☆44Jun 12, 2024Updated last year
- Rust implementation of the PTHash perfect hash function for static compile-time generated hash tables☆24Feb 10, 2024Updated 2 years ago
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆51Feb 24, 2026Updated last week
- A library version of cargo-bloat & more☆35Jun 30, 2025Updated 8 months ago
- This crate provides Discrete Interval Tree Data-Structures, which are based off BTreeMap☆52Oct 18, 2025Updated 4 months ago
- SAT solver written in Rust☆275Nov 2, 2022Updated 3 years ago
- A visual-first, statically typed, pluggable, graph-based programming language☆27Sep 12, 2025Updated 5 months ago
- Constant-time dynamic memory allocator in Rust☆116Feb 6, 2026Updated 3 weeks ago
- Harden your Rust with specifications.☆78Feb 19, 2026Updated last week
- Blazing Fast Erasure-Coding with Random Linear Network Coding (RLNC)☆38Oct 15, 2025Updated 4 months ago
- A text renderer for Rust's embedded-graphics crate, based on U8g2☆29Sep 27, 2025Updated 5 months ago
- Provides typed variants of Path and PathBuf for Unix and Windows☆60Feb 12, 2026Updated 2 weeks ago
- Declarative macros for statically initializing collections with ease☆28Jan 29, 2024Updated 2 years ago
- ☆26Sep 29, 2022Updated 3 years ago
- A joke about learning to program in Rust☆26Sep 21, 2022Updated 3 years ago
- A backend implementation for diesel (https://github.com/diesel-rs/diesel) for oracle sql database.☆25Dec 16, 2025Updated 2 months ago
- Command line util to pretty print Rust backtraces☆28Jul 8, 2024Updated last year