search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

use the z3 api #53

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Communicate with z3 programmatically instead of using strings and pipes.

Original issue reported on code.google.com by radugrig...@gmail.com on 27 Aug 2009 at 10:38

GoogleCodeExporter commented 9 years ago

Original comment by radugrig...@gmail.com on 27 Aug 2009 at 10:40

GoogleCodeExporter commented 9 years ago

Original comment by radugrig...@gmail.com on 8 Jul 2011 at 6:03