Songtuan-Lin

Hi Gregor & Daniel, This is the request for merging the SAT verifier. The verifier is a subproject being placed inside the folder verifier. However, I made some small changes...