cdcl-algorithm
There are 1 repository under cdcl-algorithm topic.
msoos / cryptominisat
An advanced SAT solver
Language:C++ 797Kapilhk / 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 19sukrutrao / SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithm
Language:C++ 15- Language:Python 14
sgomber / CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Language:Jupyter Notebook 11limo1996 / SAT-Solver
Parallel SAT Solver
Language:C++ 9private-yusuke / sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Language:D 9jacky860226 / JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Language:C++ 8thtran97 / CDCL-based-SAT-Solver
Implementation of basic CDCL-based SAT solver in Python
Language:Python 7- Language:OCaml 5
marcluque / YASER
Yet Another Sat solvER
smtsmt-solversat-solversattheory-solversatisfiabilityformal-verificationsolverdpll-algorithmdpll-solverresolution-proofconflict-resolutioncdcl-algorithmconflict-driven-clause-learningconflict-based-searchfirst-order-logicpropositional-logicpropositional-resolutionsatisfiability-modulo-theoriesbacktracking-searchLanguage:C 4apurva91 / SAT-Solver
CDCL SAT Solver implementation for babies
Language:Jupyter Notebook 2JianyuTANG / SAT-Solver
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
Language:C++ 1mrushyendra / Chalk
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Language:C++ 1- Language:Go 1
tareqmahmood / TeamSAT
A collaborative parallel SAT solver for teens
Language:C++ 0Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
Language:SMT
