cdcl-algorithm
There are 1 repository under cdcl-algorithm topic.
msoos / cryptominisat
An advanced SAT solver
Language:C++ 888sgomber / CDCL-SAT
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Language:Jupyter Notebook 22Kapilhk / 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 21sukrutrao / SAT-Solver-CDCL
A simple SAT solver based on the CDCL algorithm
Language:C++ 19- Language:Python 16
jacky860226 / JinkelaSat
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Language:C++ 11limo1996 / SAT-Solver
Parallel SAT Solver
Language:C++ 10thtran97 / CDCL-based-SAT-Solver
Implementation of basic CDCL-based SAT solver in Python
Language:Python 10private-yusuke / sat-d
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
Language:D 9- Language:OCaml 6
marcluque / YASER
Yet Another Sat solvER
backtracking-searchcdcl-algorithmconflict-based-searchconflict-driven-clause-learningconflict-resolutiondpll-algorithmdpll-solverfirst-order-logicformal-verificationpropositional-logicpropositional-resolutionresolution-proofsatsat-solversatisfiabilitysatisfiability-modulo-theoriessmtsmt-solversolvertheory-solverLanguage:C++ 4apurva91 / SAT-Solver
CDCL SAT Solver implementation for babies
Language:Jupyter Notebook 2- Language:Go 2
JianyuTANG / 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++ 1QabasAK / SAT-Solver
C++ SAT solver using DPLL and CDCL algorithms to solve Boolean SAT problems supporting pure literal elimination, unit propagation, clause learning, and non-chronological backtracking.
Language:Python 1thePoland001 / CDCL-SAT-Solver
Python implementation of a CDCL SAT solver with VSIDS decision heuristic and phase saving.
Language:Python 1jahnabiroy / SAT-Solver
This project was done as part of the COL876 (SAT Solvers and Automated Reasoning) course requirements. This is a simple implementation of a CDCL-based SAT Solver. The solver involves some tried-and-tested heuristics and their results in the report.
Language:Python 0tareqmahmood / TeamSAT
A collaborative parallel SAT solver for teens
Language:C++ 0Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
Language:SMT
