Jump to content
Tuts 4 You
Sign in to follow this  
root

z3 SMT solver for Pascal

Recommended Posts

root

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

  • Like 1
  • Thanks 1

Share this post


Link to post

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
Sign in to follow this  
×
×
  • Create New...