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.
☆73Sep 1, 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 …☆31Aug 6, 2026Updated 3 weeks ago
- Logic circuit analysis and optimization☆52Feb 2, 2026Updated 7 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Structured BVA☆46Apr 26, 2024Updated 2 years ago
- Compile-time capability-based security for Rust☆16Jul 28, 2026Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆57Jun 28, 2022Updated 4 years ago
- ☆665Oct 16, 2025Updated 10 months ago
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆115Aug 22, 2026Updated last 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☆43Apr 7, 2026Updated 4 months ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆19Dec 27, 2025Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 3 months ago
- CaDiCaL SAT Solver☆592Updated 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 3 years ago
- Semantic Type Soundness in Lean 4☆18Jul 28, 2026Updated last month
- Yosys RTLIL dialect for MLIR☆24Jun 12, 2025Updated last year
- Kani VSCode Extension☆22Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆696Aug 20, 2026Updated 2 weeks ago
- Safe rust bindings to the Highs MILP Solver.☆38Jul 9, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Proposed fixit commands for cargo☆65Updated this week
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- Tablegen bindings for Rust☆18Jul 21, 2026Updated last month
- A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.☆39Feb 19, 2026Updated 6 months ago
- A high-level API for interacting with SMT solvers.☆35Dec 8, 2025Updated 8 months ago
- A cargo tool to appraise the quality of Rust dependencies.☆17Updated this week
- Scaling Reasoning for the Age of AI☆127Updated 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 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 3 months ago
- A visual-first, statically typed, pluggable, graph-based programming language☆30Sep 12, 2025Updated 11 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆43Updated this week
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- ☆69Updated this week