Removed Z3 dependency in main theories #175

Closed didriklundberg closed 6 months ago