Primary LanguageC++Apache License 2.0Apache-2.0
1)Build solution via Cmake
2)Add Z3 .lib && .h to solution