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
  • 2 months later...
root
On 1/27/2021 at 11:17 PM, rdohmen said:

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?

 

 

 

 

 

 

1. If you want to try the library capstone is not essential (used for tests with opaque predicates), the library is still available here https://github.com/Pigrecos/Capstone4Delphi

2.I have not tried but with small adjustments (which unfortunately I do not have the time to do ...) it is certainly possible and quite simple (it is always pascal)

  • Like 2
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...