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.
☆73Aug 12, 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☆23Jul 18, 2024Updated 2 years ago
- A tool for cross-checking Verilog compilers☆15Apr 16, 2025Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated last year
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- Logic circuit analysis and optimization☆52Feb 2, 2026Updated 6 months ago
- 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.
- Structured BVA☆46Apr 26, 2024Updated 2 years ago
- Compile-time capability-based security for Rust☆15Jul 28, 2026Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- ☆660Oct 16, 2025Updated 9 months ago
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆112Updated this week
- ☆18Nov 9, 2022Updated 3 years ago
- A Rust implementation of the Cassowary constraint solving algorithm☆16Oct 24, 2024Updated last year
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆42Apr 7, 2026Updated 4 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆19Dec 27, 2025Updated 7 months 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.
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 2 months ago
- High-performance Machine Learning, Dynamic Auto-Differentiation and Tensor Algebra crate for Rust☆18Jun 8, 2025Updated last year
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Semantic Type Soundness in Lean 4☆18Jul 28, 2026Updated 2 weeks ago
- Yosys RTLIL dialect for MLIR☆24Jun 12, 2025Updated last year
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆688Apr 15, 2026Updated 3 months ago
- Safe rust bindings to the Highs MILP Solver.☆37Jul 9, 2026Updated last month
- Proposed fixit commands for cargo☆65Updated this week
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 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.
- Tablegen bindings for Rust☆18Jul 21, 2026Updated 3 weeks ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆39Feb 19, 2026Updated 5 months ago
- A cargo tool to appraise the quality of Rust dependencies.☆17Updated this week
- Scaling Reasoning for the Age of AI☆126Updated this week
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆29Nov 5, 2025Updated 9 months ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Aug 5, 2026Updated last week
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- CV32E40X Design-Verification environment☆18Jun 2, 2026Updated 2 months ago
- A visual-first, statically typed, pluggable, graph-based programming language☆30Sep 12, 2025Updated 11 months ago
- 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.
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆42Updated this week
- ☆47Updated this week
- ☆68Updated this week
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 8 months ago
- ☆21Jan 22, 2025Updated last year
- ☆16May 12, 2025Updated last year
- IDA plugin to recover source code from panic information on rust☆18May 9, 2025Updated last year