Copilot.Theorem.Prover.SMT
data Options
induction
kInduction
onlySat
onlyValidity
yices
dReal
altErgo
metit
z3
cvc4
mathsat
data Backend a
class SmtFormat a
data SmtLib
data Tptp