An advanced SAT solver
-
Updated
Sep 28, 2024 - C++
An advanced SAT solver
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
A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
Simple SAT solver with CDCL implemented in Python
A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム
A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)
Parallel SAT Solver
Implementation of basic CDCL-based SAT solver in Python
CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml
Yet Another Sat solvER
CDCL SAT Solver implementation for babies
A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.
A CDCL SAT solver written in Golang(Go).
CDCL based SAT Solver for boolean formulas in DIMACS CNF format
A collaborative parallel SAT solver for teens
Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms
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."