z3_smtv2.drv 109 Bytes
Newer Older
1
import "z3_smtv2.gen"
2 3 4 5 6 7 8

(*
Local Variables:
mode: why
compile-command: "unset LANG; make -C .. bench"
End:
*)