z3.drv 136 Bytes
Newer Older
Andrei Paskevich's avatar
Andrei Paskevich committed
1 2
import "z3_bare.drv"
import "discrimination.gen"
3 4

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