Kienyew / CDCL-SAT-Solver-from-Scratch

CDCL SAT Solver from Scratch in Python

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

• https://users.aalto.fi/~tjunttil/2020-DP-AUT/notes-sat/cdcl.html
• https://www.cs.princeton.edu/~zkincaid/courses/fall18/readings/SATHandbook-CDCL.pdf
• https://www.cs.upc.edu/~oliveras/LAI/cdcl.pdf