Jump to content
Tuts 4 You

z3 SMT solver for Pascal


Recommended Posts

  • 2 years later...


I have two questions:

question 1:

I tried to compile z3_delphi in the testfolder in Delphi 10.3.3 Community Edition.  

This gives the errormessage: Unit 'capstone' not found.

Do I need to add a 'capstone' package?


question 2:

Is there a way to use z34delpi in Lazarus?







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
  • Create New...