Jump to content
Tuts 4 You
Sign in to follow this  

z3 SMT solver for Pascal

Recommended Posts



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...