cdcl-algorithm
There are 17 repositories under cdcl-algorithm topic.
msoos/cryptominisat
An advanced SAT solver
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
sukrutrao/SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithm
sgomber/CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
z11i/pysat
Simple SAT solver with CDCL implemented in Python
jacky860226/JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
private-yusuke/sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
limo1996/SAT-Solver
Parallel SAT Solver
thtran97/CDCL-based-SAT-Solver
Implementation of basic CDCL-based SAT solver in Python
takahisa/chibisat
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
marcluque/YASER
Yet Another Sat solvER
apurva91/SAT-Solver
CDCL SAT Solver implementation for babies
JianyuTANG/SAT-Solver
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
mrushyendra/Chalk
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
togatoga/gatosat
A CDCL SAT solver written in Golang(Go).
tareqmahmood/TeamSAT
A collaborative parallel SAT solver for teens
limo1996/ProgramVerification1
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms