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.
☆54Mar 16, 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:
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Jul 18, 2024Updated last year
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆104Mar 16, 2026Updated last week
- Stack-allocated trait objects☆19Feb 14, 2022Updated 4 years ago
- 基于 CUDA Driver API 的 cuda 运行时环境☆15Jul 30, 2025Updated 7 months ago
- ☆17Nov 19, 2021Updated 4 years ago
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆15Jan 5, 2026Updated 2 months ago
- Harden your Rust with specifications.☆84Mar 10, 2026Updated last week
- VLSI placement and routing tool☆15Dec 20, 2025Updated 3 months ago
- Rust binding for the HiGHS linear programming solver☆17Mar 16, 2026Updated last week
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- Proposed fixit commands for cargo☆31Mar 13, 2026Updated last week
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆92Mar 10, 2026Updated last week
- SAT solver written in Rust☆275Nov 2, 2022Updated 3 years ago
- Zero-copy, no-std proquint encoding and decoding☆13May 7, 2023Updated 2 years ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆56Feb 27, 2026Updated 3 weeks ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated 11 months ago
- AngelScript JIT via C→MIR conversion☆21Sep 16, 2025Updated 6 months ago
- Refinement type checking and inference tool for Rust☆19Mar 16, 2026Updated last week
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆93Dec 24, 2025Updated 2 months ago
- A library version of cargo-bloat & more☆35Jun 30, 2025Updated 8 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☆33Jan 2, 2026Updated 2 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
- Structured BVA☆42Apr 26, 2024Updated last year
- ☆32Jun 25, 2025Updated 8 months ago
- ☆16Feb 9, 2022Updated 4 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated last month
- Mental model for unsafe in Rust☆18Feb 10, 2025Updated last year
- UB-free and deterministic rustc fuzzer☆99Dec 21, 2025Updated 3 months ago
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- A 277 KB no_std WebAssembly JIT engine that goes head-to-head with V8 and Wasmtime.☆40Updated this week
- ☆17Mar 1, 2026Updated 3 weeks ago
- Safe rust bindings to the Highs MILP Solver.☆30Dec 14, 2025Updated 3 months ago
- Yosys plugin for logic locking and supply-chain security☆23Apr 5, 2025Updated 11 months ago
- ☆10May 14, 2020Updated 5 years ago
- 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
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆29Jan 8, 2026Updated 2 months ago