The #SAT solver sharpSAT
☆64Aug 28, 2022Updated 3 years ago
Alternatives and similar repositories for sharpSAT
Users that are interested in sharpSAT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Approximate Model Counter☆86Mar 14, 2026Updated last week
- High-performance model counter☆58Updated this week
- ☆15May 12, 2025Updated 10 months ago
- A research platform and active library for generalised SAT solving☆33Jun 12, 2025Updated 9 months ago
- ☆12Sep 29, 2021Updated 4 years ago
- ☆22May 25, 2017Updated 8 years ago
- ☆20Jan 20, 2026Updated 2 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆39Mar 25, 2025Updated 11 months ago
- Grain of Salt equation generator☆16May 6, 2022Updated 3 years ago
- Cube-and-Conquer SAT solver☆44Jul 14, 2025Updated 8 months ago
- An advanced header-only exact synthesis library☆30Nov 24, 2022Updated 3 years ago
- Set of tools and data to compute all known invariants for simple connected graphs☆14Mar 6, 2018Updated 8 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- A toolbox for knowledge compilation☆27Nov 25, 2025Updated 3 months ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.☆17Aug 13, 2022Updated 3 years ago
- CUDD Decision Diagram Package☆157Dec 12, 2025Updated 3 months ago
- C++ header-only reasoning library☆16Jul 11, 2024Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆63Jul 21, 2023Updated 2 years ago
- ☆12Aug 5, 2025Updated 7 months ago
- An advanced SAT solver☆922Mar 14, 2026Updated last week
- Dimacs CNF utilities☆21Feb 12, 2025Updated last year
- A toolkit for SAT-based prototyping in Python☆447Mar 5, 2026Updated 2 weeks ago
- ☆614Oct 16, 2025Updated 5 months ago
- SHA256-SAT-BITCOIN☆24Apr 6, 2016Updated 9 years ago
- ☆10May 25, 2017Updated 8 years ago
- UniGen approximately uniform sampler☆37Jul 24, 2025Updated 8 months ago
- microsat☆141Jun 18, 2022Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆31Jan 11, 2024Updated 2 years ago
- Disjoint CBSH and IDCBS integrated with LPA* and other incremental techniques☆11Apr 17, 2021Updated 4 years ago
- Blueimp file upload widget for Yii2 framework☆12Dec 22, 2016Updated 9 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Nov 20, 2023Updated 2 years ago
- Scripts or utilities for radare2☆15Sep 10, 2016Updated 9 years ago
- A minimalistic and high-performance SAT solver☆1,148Apr 28, 2024Updated last year
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- Java program that parses OSM XML files into a json graph representation.☆12Nov 12, 2017Updated 8 years ago
- Go Library (and program) to perform pairwise gcd on batches of RSA moduli☆11Apr 14, 2015Updated 10 years ago
- A SAT solver implementation in VHDL, team tussle☆21Apr 13, 2016Updated 9 years ago
- Python wrapper for UNIX dialog utility☆19Aug 16, 2017Updated 8 years ago
- Tool for algorithmic complexity analysis based on symbolic execution☆10Sep 17, 2018Updated 7 years ago