root 88 Posted January 17 https://github.com/Pigrecos/Z34Delphi My new repository for using Z3 in delphi(porting z3 c api to delphi). I tried and there were no tools for symbolic execution in delphi 1 Share this post Link to post Share on other sites