MiniPyDPLL: A Python Implementation of the DPLL Algorithm Inspired by MiniSAT

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.