An extremely basic SAT solver implementation for me to better understand the basics of SAT solving.