z3 SMT solver for Pascal

[root]

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]

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?

 

 

 

 

 

 

[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)

[rdohmen]

Hi,

 

I've ported your code to Lazarus. De repo is avaiblable here.