An advanced SAT solver

A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented 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

A Header-Only CDCL SAT Solver based on MiniSat (Fast and only 500 lines)

Implementation of basic CDCL-based SAT solver in Python

Parallel SAT Solver

A small SAT solver implementation. 2020年度の情報科学特別演習にて書いたプログラム

CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml

Yet Another Sat solvER

A CDCL SAT solver written in Golang(Go).

CDCL SAT Solver implementation for babies

A DPLL sat solver accelerated by clause-driven-conflict-learning algorithm.

Python implementation of a CDCL SAT solver with VSIDS decision heuristic and phase saving.

CDCL based SAT Solver for boolean formulas in DIMACS CNF format

A collaborative parallel SAT solver for teens

Reinforcement-Learning Controller for Variable Selection in the CaDiCaL SAT Solver — integrates a Python A2C policy with an instrumented CaDiCaL solver through a pybind11 bridge to learn variable-selection heuristics from a top-K candidate set on multiple SAT families. This Project served as my COS700 Honours Research at University of Pretoria.

Boolean formula to CNF conversion, DPLL and CDCL SAT solving algorithms

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.