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.
☆71Jun 28, 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 C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆22Jul 18, 2024Updated last year
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆111Updated this week
- Logic circuit analysis and optimization☆50Feb 2, 2026Updated 5 months ago
- 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
- 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.
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆17Jun 17, 2026Updated 2 weeks ago
- 基于 CUDA Driver API 的 cuda 运行时环境☆16Jul 30, 2025Updated 11 months ago
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- Rust binding for the HiGHS linear programming solver☆19Jun 24, 2026Updated last week
- An automated theorem prover for intuitionistic propostional logic☆15Sep 21, 2020Updated 5 years ago
- Dimacs CNF utilities☆21Jun 23, 2026Updated last week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆688Apr 15, 2026Updated 2 months ago
- Interactive visualizer for e-graphs☆28Jan 13, 2026Updated 5 months ago
- Proposed fixit commands for cargo☆32Jun 1, 2026Updated last month
- 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.
- Zero-copy, no-std proquint encoding and decoding☆14May 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.☆82Jun 25, 2026Updated last week
- Refinement type checking and inference tool for Rust☆22Jun 24, 2026Updated last week
- ☆635Oct 16, 2025Updated 8 months ago
- AngelScript JIT via C→MIR conversion☆26Sep 16, 2025Updated 9 months ago
- A library version of cargo-bloat & more☆35Jun 30, 2025Updated last year
- Rust `Vec` that can store unsized values☆22Sep 13, 2025Updated 9 months ago
- Token De/Serializer for testing De/Serialize implementations☆14Dec 17, 2024Updated last year
- 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.
- Efficient byte-stream pipe buffer☆44Jul 1, 2024Updated 2 years ago
- An LLVM IR dataset for data-driven compiler optimization research☆80Mar 17, 2026Updated 3 months ago
- ☆17Feb 9, 2022Updated 4 years ago
- Easily and efficiently extract deeply nested data in Rust☆59Mar 28, 2026Updated 3 months ago
- Structured BVA☆44Apr 26, 2024Updated 2 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Jun 22, 2026Updated last week
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆120Jun 12, 2026Updated 2 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆108Jun 25, 2026Updated last week
- ☆31Jun 25, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- 👾 Run WebAssembly (WASM-4) games on small devices (like PyBadge)☆14Feb 22, 2024Updated 2 years ago
- A compact, optimizing WebAssembly 3.0 JIT, from desktop to microcontroller☆54Jun 20, 2026Updated last week
- ☆20Jun 25, 2026Updated last week
- UB-free and deterministic rustc fuzzer☆103Dec 21, 2025Updated 6 months ago
- 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