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.
☆61Apr 25, 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:
- ☆24Updated this week
- Logic circuit analysis and optimization☆48Feb 2, 2026Updated 3 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆106Apr 24, 2026Updated last week
- Stack-allocated trait objects☆19Feb 14, 2022Updated 4 years ago
- ☆17Nov 19, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆15Apr 14, 2026Updated 2 weeks ago
- 基于 CUDA Driver API 的 cuda 运行时环境☆16Jul 30, 2025Updated 9 months ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆14Dec 11, 2024Updated last year
- Harden your Rust with specifications.☆91Updated this week
- Rust binding for the HiGHS linear programming solver☆17Apr 10, 2026Updated 3 weeks ago
- Dimacs CNF utilities☆21Mar 28, 2026Updated last month
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆679Apr 15, 2026Updated 2 weeks ago
- Proposed fixit commands for cargo☆31Apr 18, 2026Updated 2 weeks ago
- SAT solver written in Rust☆277Nov 2, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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.☆55Feb 27, 2026Updated 2 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Refinement type checking and inference tool for Rust☆21Updated this week
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆96Dec 24, 2025Updated 4 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 7 months ago
- A reference architecture for differential fuzzing using a formally verified oracle☆35Jan 2, 2026Updated 4 months ago
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆111Apr 24, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated last year
- ☆627Oct 16, 2025Updated 6 months ago
- Easily and efficiently extract deeply nested data in Rust☆57Mar 28, 2026Updated last month
- ☆16Feb 9, 2022Updated 4 years ago
- Structured BVA☆43Apr 26, 2024Updated 2 years ago
- ☆31Jun 25, 2025Updated 10 months 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
- UB-free and deterministic rustc fuzzer☆102Dec 21, 2025Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- ☆19Updated this week
- Safe rust bindings to the Highs MILP Solver.☆31Updated this 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
- Yosys plugin for logic locking and supply-chain security☆23Apr 5, 2025Updated last year
- ☆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