This is a simplified Python implementation of the DPLL algorithm, inspired by MiniSAT's source code, featuring core components like the watched-literal data structure.
-
Notifications
You must be signed in to change notification settings - Fork 0
TahaRostami/MiniPyDPLL
About
A Python Implementation of the DPLL Algorithm Inspired by MiniSAT
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published