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.
☆75Nov 2, 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☆24Jul 18, 2024Updated 2 years ago
- UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main …☆32Aug 6, 2026Updated 2 months ago
- CaDiCaL SAT Solver☆629Updated this week
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆116Updated this week
- SAT Competition 2024☆11Aug 28, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆13Aug 5, 2025Updated last year
- work in progress, playing around with btor2 in rust☆16Updated this week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆40Mar 25, 2025Updated last year
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated 2 years ago
- ☆682Oct 23, 2026Updated last week
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆16May 7, 2022Updated 4 years ago
- ☆13Oct 25, 2026Updated last week
- Structured BVA☆46Apr 26, 2024Updated 2 years ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Logic circuit analysis and optimization☆53Feb 2, 2026Updated 9 months ago
- Compile-time capability-based security for Rust☆16Jul 28, 2026Updated 3 months ago
- A Lean-embedded framework to verify Verilog modules☆17Oct 6, 2026Updated 3 weeks ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆705Aug 20, 2026Updated 2 months ago
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- Korn - C Verification with Loop Invariants and Summaries☆12Oct 26, 2026Updated last week
- A Rust implementation of the Cassowary constraint solving algorithm☆16Oct 24, 2024Updated 2 years ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆19Updated this week
- High-performance Machine Learning, Dynamic Auto-Differentiation and Tensor Algebra crate for Rust☆18Jun 8, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 5 months ago
- Distributed algorithms in Lean 4☆21Jul 28, 2026Updated 3 months ago
- Easy SMT solver interaction☆37Feb 3, 2026Updated 9 months ago
- ☆16Sep 14, 2020Updated 6 years ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆21Dec 5, 2024Updated last year
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆47Apr 7, 2026Updated 6 months ago
- SAT solver written in Rust☆291Nov 2, 2022Updated 4 years ago
- Semantic Type Soundness in Lean 4☆19Sep 28, 2026Updated last month
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- 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.
- A tool for formally verifying constant-time software against hardware 🕰️☆17Feb 1, 2025Updated last year
- isla coq infrastructure☆23Mar 11, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Rust binding for the HiGHS linear programming solver☆21Jun 29, 2026Updated 4 months ago
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- Verified graph rewriting (for dataflow circuits).☆29Updated this week
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 4 years ago