History | View | Annotate | Download (7.46 KB)
[lustrev] fixed some issues when calling Z3. Seems working for the moment: basic call to Z3 and sat/unsat result
Try to debug the use of Z3 API. Still having troubles