PA4-BoolSAT-Start See https://github.com/UACS210Spring2018/PA-and-Section-Writeups/tree/master/PA4-BoolSat for the PA4 writeup.