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.
☆75Oct 11, 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
- 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
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Logic circuit analysis and optimization☆52Feb 2, 2026Updated 8 months ago
- Structured BVA☆46Apr 26, 2024Updated 2 years ago
- Compile-time capability-based security for Rust☆16Jul 28, 2026Updated 2 months ago
- ☆673Oct 16, 2025Updated 11 months ago
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆116Sep 26, 2026Updated 2 weeks ago
- Rust binding for the HiGHS linear programming solver☆21Jun 29, 2026Updated 3 months 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☆45Apr 7, 2026Updated 6 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆19Dec 27, 2025Updated 9 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.
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 4 months ago
- CaDiCaL SAT Solver☆617Updated this week
- High-performance Machine Learning, Dynamic Auto-Differentiation and Tensor Algebra crate for Rust☆18Jun 8, 2025Updated last year
- ☆18Nov 9, 2022Updated 3 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Kani VSCode Extension☆23Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆700Aug 20, 2026Updated last month
- Proposed fixit commands for cargo☆67Oct 4, 2026Updated last week
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Safe rust bindings to the Highs MILP Solver.☆43Sep 19, 2026Updated 3 weeks ago
- Tablegen bindings for Rust☆19Sep 25, 2026Updated 2 weeks ago
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆39Feb 19, 2026Updated 7 months ago
- A high-level API for interacting with SMT solvers.☆35Sep 29, 2026Updated 2 weeks ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆30Nov 5, 2025Updated 11 months ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Updated this week
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year
- CV32E40X Design-Verification environment☆19Jun 2, 2026Updated 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.
- A visual-first, statically typed, pluggable, graph-based programming language☆30Sep 12, 2025Updated last year
- ☆48Sep 24, 2026Updated 2 weeks ago
- ☆74Updated this week
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 10 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆46Sep 25, 2026Updated 2 weeks ago
- ☆21Jan 22, 2025Updated last year
- ☆18May 12, 2025Updated last year