Removed SATSolver in zchaff64 folder
Merge branch 'master' of github.com:diboy2/CS360-Project1