remove Z3 tooling code
This is not required as Z3 API is used now.
(from redmine: issue id 3046, created on 2017-08-22, closed on 2017-11-16)
- Relations:
- parent #3042 (closed)
This is not required as Z3 API is used now.
(from redmine: issue id 3046, created on 2017-08-22, closed on 2017-11-16)