let
cvc3 = {
ext =
"smt"
;
why = [|
"--smtlib"
|] ;
wdp = [|
"-smt-solver"
;
"cvc3"
|] ;
}