deleted unused files and started with SMTLIB compiler.

TODO: maybe change the name of the compiler soon