GitHub topics: cdcl-algorithm
msoos/cryptominisat
An advanced SAT solver
Language: C++ - Size: 58.8 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 855 - Forks: 195
QabasAK/SAT-Solver
SAT solver using DPLL and CDCL algorithms to solve Boolean SAT problems supporting pure literal elimination, unit propagation, clause learning, and non-chronological backtracking. Benchmarked using SATLIB test cases, with performance evaluated through runtime analysis
Language: Python - Size: 15.9 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
togatoga/gatosat 📦
A CDCL SAT solver written in Golang(Go).
Language: Go - Size: 56.6 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
limo1996/SAT-Solver
Parallel SAT Solver
Language: C++ - Size: 23.2 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 1
marcluque/YASER
Yet Another Sat solvER
Language: C - Size: 23.9 MB - Last synced at: 5 days ago - Pushed at: 29 days ago - Stars: 4 - Forks: 0
mrushyendra/Chalk
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Language: C++ - Size: 8.05 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
private-yusuke/sat-d 📦
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Language: D - Size: 1.17 MB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 0
apurva91/SAT-Solver
CDCL SAT Solver implementation for babies
Language: Jupyter Notebook - Size: 328 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0
z11i/pysat 📦
Simple SAT solver with CDCL implemented in Python
Language: Python - Size: 5.39 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 4
sgomber/CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Language: Jupyter Notebook - Size: 13.9 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 3
thtran97/CDCL-based-SAT-Solver
Implementation of basic CDCL-based SAT solver in Python
Language: Python - Size: 59.6 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 2
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 - Size: 1.09 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 14 - Forks: 3
sukrutrao/SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithm
Language: C++ - Size: 91.8 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 14 - Forks: 3
jacky860226/JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Language: C++ - Size: 931 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 0
JianyuTANG/SAT-Solver
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
Language: C++ - Size: 43 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
takahisa/chibisat
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
Language: OCaml - Size: 30.3 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
limo1996/ProgramVerification1
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
Language: SMT - Size: 4.78 MB - Last synced at: 24 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0