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