satisfiability
There are 2 repositories under satisfiability topic.
- Language:Rust 595
- Language:SMT 358
- Language:Python 217
- circuitgraph
circuitgraph / circuitgraph
Tools for working with circuits as graphs in python
Language:Verilog 99 - splrLanguage:Rust 71
- Language:C++ 69
MatthiasNickles / diff-SAT
Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
satisfiabilityanswer-set-programmingoptimizationprobabilistic-programmingartificial-intelligencesat-solverlogic-programmingpsatconstraint-programmingdifferentiable-satisfiabilitydifferentiable-programmingdimacs-cnfprobabilistic-aspprobabilistic-satisfiabilitymulti-models-optimizationweighted-sat-solvingprobabilisticprobabilityLanguage:Scala 61- Language:C++ 60
- Language:C++ 47
google / kiwi-solver
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
Language:Java 44sukrutrao / SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
Language:C++ 43A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
Language:C++ 38- Language:Prolog 32
NationalSecurityAgency / XORSATFilter
A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
Language:C 28- Language:C++ 21
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.
Language:C++ 21- slime-sat-solver
maxtuno / slime-sat-solver
A Free World Class High Performance SAT Solver
Language:JavaScript 20 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
Language:Jupyter Notebook 19Thinklab-SJTU / HardSATGEN
[SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
Language:Python 18A simple SAT solver based on the CDCL algorithm
Language:C++ 16- Language:Python 13
sgomber / CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Language:Jupyter Notebook 13hellman / Quine-McCluskey
DenseQMC: A bit-slice implementation of the Quine-McCluskey algorithm
Language:C++ 12cipherboy / hash_framework
Framework for studying cryptographic hash functions using SAT.
Language:Python 10jacky860226 / JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Language:C++ 9private-yusuke / sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Language:D 9saeednj / SAT-encoding
Encoding different problems into Boolean satisfiability
Language:C++ 9- Language:Python 8
- Language:C++ 8
- Language:C++ 7
- Language:C 7
- Language:C 7
ZaydH / spur
SAT'18 Paper: SPUR - Satisfying Perfectly Uniform Random sampler (Winner Best Student Paper)
Language:C++ 7dirkschumacher / rpicosat
PicoSAT bindings for R
Language:R 6- Language:Python 5
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.
Language:Jupyter Notebook 5
