A curated collection of resources for the Boolean Satisfiability Problem (SAT).
☆74Nov 30, 2025Updated 11 months ago
Alternatives and similar repositories for awesome-sat-solvers
Users that are interested in awesome-sat-solvers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CNF preprocessor and functional synthesis tool☆28Updated this week
- A Boolean circuit minimizer☆18Sep 14, 2026Updated last month
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Sep 25, 2026Updated last month
- High-performance model counter☆66Oct 22, 2026Updated last week
- A framework to ease parallelization of sequential SAT solvers☆36May 17, 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.
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- Management of Benchmark Instances and Instance Attributes☆22Sep 25, 2026Updated last month
- A framework for testing compilers' type checkers☆20Mar 17, 2026Updated 7 months ago
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Lean course materials for Brown CS 22, Spring 2023☆20Nov 20, 2023Updated 2 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- Vectorization of Verilog Designs☆14Jun 18, 2026Updated 4 months ago
- SATZilla SAT feature extraction tool☆16Mar 23, 2026Updated 7 months ago
- Python library that provides methods for Boolean circuit manipulation, analysis, and synthesis☆39Oct 13, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [Discontinued] Zig as a Clojure library.☆14Sep 15, 2026Updated last month
- A RISC-V RV32 model ready for SMT program synthesis.☆12Jun 23, 2021Updated 5 years ago
- Based on Neural Amp Modeler 0.7.1 with some enhanced features☆12Apr 18, 2023Updated 3 years ago
- Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.☆17Aug 2, 2023Updated 3 years ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- Scalable Automated Reasoning for HPC and Clouds☆100Oct 23, 2026Updated last week
- Providing examples on how to setup and use xschem, ngspice, and gaw, to do analog IC design☆16Jul 6, 2025Updated last year
- A Pacman implementation in Rocq, extracted to C++ via Crane.☆20Sep 10, 2026Updated last month
- Lock circuitgraphs using various logic locking techniques☆11May 2, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- HARV - HArdened Risc-V☆20Mar 10, 2022Updated 4 years ago
- ☆11Jun 4, 2026Updated 4 months ago
- ☆10Oct 11, 2022Updated 4 years ago
- A basic implementation of a SAT attack on logic locking.☆13Jun 30, 2021Updated 5 years ago
- ☆16Aug 15, 2021Updated 5 years ago
- A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4☆25Jan 15, 2025Updated last year
- ☆12Oct 7, 2026Updated 3 weeks 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.
- ☆19Jul 17, 2025Updated last year
- sed-like Telegram bot in Rust + Nix using real Perl for substitutions☆13Jan 31, 2025Updated last year
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- Implementation of the IC3 / Property Directed Reachability algorithm using the the Z3 SMT solver.☆18Apr 30, 2016Updated 10 years ago
- Lisp mode for geany☆15Jul 1, 2020Updated 6 years ago
- Custom Standard Cell Library for GF180MCU process node on open PDK.☆13Oct 11, 2026Updated 2 weeks ago
- A Python package for creating and manipulating KML documents.☆12Jan 2, 2022Updated 4 years ago