satisfiability
There are 113 repositories under satisfiability topic.
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
SRI-CSL/yices2
The Yices SMT Solver
welchbj/tt
a Pythonic toolkit for working with Boolean expressions
circuitgraph/circuitgraph
Tools for working with circuits as graphs in python
audemard/glucose
The glucose SAT solver
shnarazk/splr
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
meelgroup/approxmc
Approximate Model Counter
MatthiasNickles/diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
google/kiwi-solver
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
biotomas/ipasir
The Standard Interface for Incremental Satisfiability Solving
sukrutrao/SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
sukrutrao/Timetabler
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
triska/clpb
Boolean Constraint Solving in Prolog
NationalSecurityAgency/XORSATFilter
A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
meelgroup/ganak
The first scalable probabilistic exact counter
vsklad/cgen
CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.
Kapilhk/SatPie
SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
maxtuno/slime-sat-solver
A Free World Class High Performance SAT Solver
sukrutrao/SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithm
Thinklab-SJTU/HardSATGEN
[SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
sgomber/CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
hellman/Quine-McCluskey
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
meelgroup/barbarik
The first efficient procedure to test whether a sampler is uniform
jacky860226/JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
saeednj/SAT-encoding
Encoding different problems into Boolean satisfiability
cipherboy/hash_framework
Framework for studying cryptographic hash functions using SAT.
private-yusuke/sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
cipherboy/cmsh
High-level interfaces over @msoos's CryptoMiniSat.
Daikon-Sun/FRAIG
Functionally Reduced And-Inverter Graph
fkutzner/JamSAT
A fast, clean IPASIR SAT solver
weaversa/MPHF
An efficient minimal perfect hash function generator for small sets
ZaydH/spur
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
dirkschumacher/rpicosat
PicoSAT bindings for R
meelgroup/mis
Minimal Independent Set Finder for CNFs
vaibhavkarve/graphsat
A python package that recognizes clauses, Cnfs, graphs, hypergraphs, and multi-hypergraphs. The package implements local graph-rewriting, graph-satchecking, calculation of graph disjunctions, as well as checking of new reduction rules.