A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
-
Updated
Nov 3, 2021 - D
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
A collaborative parallel SAT solver for teens
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
A CDCL SAT solver written in Golang(Go).
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
CDCL SAT Solver implementation for babies
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
Yet Another Sat solvER
Parallel SAT Solver
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Implementation of basic CDCL-based SAT solver in Python
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
A simple SAT solver based on the CDCL algorithm
Simple SAT solver with CDCL implemented in Python
An advanced SAT solver
Add a description, image, and links to the cdcl-algorithm topic page so that developers can more easily learn about it.
To associate your repository with the cdcl-algorithm topic, visit your repo's landing page and select "manage topics."