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.
☆74Sep 20, 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 last month
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- 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.
- Logic circuit analysis and optimization☆52Feb 2, 2026Updated 7 months ago
- 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
- ☆668Oct 16, 2025Updated 11 months ago
- A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat☆116Updated this week
- Rust binding for the HiGHS linear programming solver☆21Jun 29, 2026Updated 2 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☆43Apr 7, 2026Updated 5 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆19Dec 27, 2025Updated 8 months ago
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 2026Updated 4 months ago
- High-performance Machine Learning, Dynamic Auto-Differentiation and Tensor Algebra crate for Rust☆18Jun 8, 2025Updated last year
- ☆18Nov 9, 2022Updated 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☆22Sep 16, 2026Updated last week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆699Aug 20, 2026Updated last month
- Proposed fixit commands for cargo☆66Updated this week
- 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.
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆15May 7, 2022Updated 4 years ago
- YAP is a high-performance Prolog compiler☆13Mar 11, 2011Updated 15 years ago
- Safe rust bindings to the Highs MILP Solver.☆42Updated this week
- Tablegen bindings for Rust☆18Sep 11, 2026Updated last week
- 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.☆35Dec 8, 2025Updated 9 months ago
- 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 10 months ago
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, Spectra, Dafny, and more...☆19Sep 9, 2026Updated 2 weeks 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.
- 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
- ☆48Sep 1, 2026Updated 3 weeks ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Dec 2, 2021Updated 4 years ago
- ☆72Updated this week
- A collection of problem specifications in Essence.☆10Dec 4, 2025Updated 9 months ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆45Sep 15, 2026Updated last week