Working on Ordering A
Merge branch 'master' of github.com:Dhinihan/SMT-Solve-Project