init z3 integration #172

Job	Run time
Test (ubuntu-latest, 0.15.1)	1h 56m 38s
Security Scan	7s
Lint and Format	11m 17s
Test (macos-latest, 0.15.1)	1h 49m 41s
Performance Benchmarks	0s
Comprehensive Feature Tests	0s
Notification	3s
Release Check	0s
Build Examples	0s
	3h 57m 46s

Provide feedback