z3 SMT solver for Pascal

[root 96]

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

[rdohmen 0]

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?