z3str / Z3-str

A Z3-Based String Constraint Solver
Other
87 stars 13 forks source link

Documentation - SMT-LIB theory file? #4

Open HolgerVornholt opened 9 years ago

HolgerVornholt commented 9 years ago

Hi,

I am thinking about using your Z3 extension for strings for my masters thesis. I found your strTheory.h file which explains which functions can be used. And the tests are written using SMT-LIB syntax. So they are also quite helpful.

Have you got a string theory file conforming to the SMT-LIB Standard or a different form of documentation?

Kind regards, Holger

GroundPound commented 9 years ago

For my own work I wrote a script that attempts to convert files from the SMT-LIB 2 standard to the Z3-str syntax. If that's of interest to you perhaps I could share it and we could work on that together.

GroundPound commented 9 years ago

Upon rereading your question a bit closer I don't think I can be of help. Sorry about that!