Begun Functoring the sat solver.
New folder to distinguish sat solver from smt solver.
Merge branch 'master' of github.com:Gbury/mSAT