sat-solver
There are 20 repositories under sat-solver topic.
msoos / cryptominisat
An advanced SAT solver
Language:C++ 798- Language:Rust 587
- Language:C++ 486
- Language:Go 358
- Language:SMT 352
- Language:Python 217
- Language:Haskell 152
- Language:Go 148
- Language:Go 138
MiniZinc / minizinc-python
Access to all MiniZinc functionality directly from Python
Language:Python 133- Language:Go 133
- Language:OCaml 96
- Language:Scala 91
mishun / minisat-rust
Experimental minisat SAT solver reimplementation in Rust
Language:Rust 71- splrLanguage:Rust 71
- Language:C++ 63
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-solvingLanguage:Scala 60- Language:C++ 57
sukrutrao / SAT-Solver-DPLL
A simple SAT solver that implements the DPLL algorithm with unit resolution
Language:C++ 43- plt-formal-methods-resources
SatyendraBanjare / plt-formal-methods-resources
Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.
- Language:Haskell 39
A 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:Rust 36
brandonwillard / kanren-old
Logic Programming in Python
Language:Python 30- Language:Rust 30
MarkusRabe / cadet
A fast and certifying solver for quantified Boolean formulas.
Language:C 24- Language:SMT 23
irfansharif / solver
SAT solver library in Go; wraps around Google's Operational Research Tools
Language:Go 22- slime-sat-solver
maxtuno / slime-sat-solver
A Free World Class High Performance SAT Solver
Language:JavaScript 20 Use MiniZinc in the browser or with NodeJS
Language:JavaScript 20TomasMikula / nutcracker
Problem solving à la carte
Language:Scala 20Kapilhk / 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 19- Language:Coq 18
sdiehl / haskell-picosat
Haskell bindings for PicoSAT solver
Language:C 16panhomyoung / phySAT
Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
Language:C++ 15- Language:OCaml 15
