Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.github/workflows		.github/workflows
cnf		cnf
src		src
.gitignore		.gitignore
README.md		README.md
book.toml		book.toml
cdcl-two-watched.py		cdcl-two-watched.py
cdcl.py		cdcl.py

Repository files navigation

CDCL-SAT-Solver-from-Scratch

CDCL SAT Solver from Scratch in Python

Refer to the book website for implementation details: https://kienyew.github.io/CDCL-SAT-Solver-from-Scratch/

This book is deployed by mdBook.

References

About

CDCL SAT Solver from Scratch in Python

kienyew.github.io/CDCL-SAT-Solver-from-Scratch/

python sat-solver sat boolean-satisfiability cdcl

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%