/Z3-Dead-Code-Elemination

Primary LanguageC++Apache License 2.0Apache-2.0

Z3-Dead-Code-Elemination

1)Build solution via Cmake

2)Add Z3 .lib && .h to solution