Jump to content
Tuts 4 You

z3 SMT solver for Pascal


root

Recommended Posts

  • 2 years later...
rdohmen

Hi,

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