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.
☆70Jun 6, 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☆49Feb 2, 2026Updated 4 months ago
- Stack-allocated trait objects☆19Feb 14, 2022Updated 4 years ago
- Tutorial, examples and regression tests for Coriolis & Alliance (LIP6)☆16May 30, 2026Updated last week
- 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.
- 基于 CUDA Driver API 的 cuda 运行时环境☆16Jul 30, 2025Updated 10 months ago
- VLSI placement and routing tool☆17Dec 20, 2025Updated 5 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☆18Apr 10, 2026Updated 2 months ago
- Harden your Rust with specifications.☆107May 29, 2026Updated 2 weeks ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- Dimacs CNF utilities☆21Mar 28, 2026Updated 2 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆685Apr 15, 2026Updated last month
- Proposed fixit commands for cargo☆32Jun 1, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SAT solver written in Rust☆283Nov 2, 2022Updated 3 years ago
- 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.☆78Jun 4, 2026Updated last week
- Refinement type checking and inference tool for Rust☆21Updated this week
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆98Dec 24, 2025Updated 5 months ago
- AngelScript JIT via C→MIR conversion☆25Sep 16, 2025Updated 8 months ago
- A library version of cargo-bloat & more☆35Jun 30, 2025Updated 11 months ago
- Token De/Serializer for testing De/Serialize implementations☆14Dec 17, 2024Updated last year
- 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
- An LLVM IR dataset for data-driven compiler optimization research☆79Mar 17, 2026Updated 2 months ago
- Structured BVA☆44Apr 26, 2024Updated 2 years ago
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18May 30, 2026Updated last week
- High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.☆118Apr 24, 2026Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆107Updated this week
- ☆31Jun 25, 2025Updated 11 months ago
- A reference architecture for differential fuzzing using a formally verified oracle☆37Jan 2, 2026Updated 5 months ago
- SLE course at University of Groningen☆10Jan 23, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- UB-free and deterministic rustc fuzzer☆102Dec 21, 2025Updated 5 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
- Yosys plugin for logic locking and supply-chain security☆24Apr 5, 2025Updated last year
- ☆10May 14, 2020Updated 6 years ago