Some reorganization of files/folders
Modifications in progress....
Progressing. Conflict clause computing is broken
Mcsat now works
Bundled both smt and mcsat in sat_solve; updated the tests in Makefile
Faster iterating over subterms
Added some headers, and an interface for Expr