let
z3 = {
ext =
"z3.smt"
;
why = [|
"--z3"
|] ;
wdp = [|
"-smt-solver"
;
"z3"
|] ;
}