z3_smtv2.drv 259 Bytes
Newer Older
1
import "z3_smtv2.gen"
2

3 4 5 6 7 8
theory BuiltIn
  meta "select_inst" "nothing"
  meta "select_kept" "nothing"
  meta "select_lskept" "nothing"
  meta "completion_mode" "nothing"
end
9 10 11 12 13 14 15

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