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.
☆73Jul 21, 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 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 5 months 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.
- Structured BVA☆45Apr 26, 2024Updated 2 years ago
- Compile-time capability-based security for Rust☆15Mar 25, 2026Updated 4 months ago
- ☆646Oct 16, 2025Updated 9 months ago
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆111Updated this week
- ☆18Nov 9, 2022Updated 3 years ago
- Rust binding for the HiGHS linear programming solver☆20Jun 29, 2026Updated 3 weeks 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☆41Apr 7, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆19Dec 27, 2025Updated 6 months ago
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 2 months ago
- CaDiCaL SAT Solver☆572Updated this week
- 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
- Yosys RTLIL dialect for MLIR☆23Jun 12, 2025Updated last year
- Kani VSCode Extension☆21Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆687Apr 15, 2026Updated 3 months ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆29Nov 5, 2025Updated 8 months 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.
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 4 years ago
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- Tablegen bindings for Rust☆18Updated this week
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆39Feb 19, 2026Updated 5 months ago
- A high-level API for interacting with SMT solvers.☆35Dec 8, 2025Updated 7 months ago
- A cargo tool to appraise the quality of Rust dependencies.☆17Jun 2, 2026Updated last month
- Scaling Reasoning for the Age of AI☆115Updated this week
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Jul 15, 2026Updated last week
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated 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.
- 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 last month
- A visual-first, statically typed, pluggable, graph-based programming language☆30Sep 12, 2025Updated 10 months ago
- ☆47Jan 22, 2026Updated 6 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆42Jun 17, 2026Updated last month
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- ☆62Jul 17, 2026Updated last week