Up
Module
Prover.SMT
(
.ml
)
module
SMT
:
Smt.Solver
Instance of the SMT solver