This module contains the definition of a generic boolean substructure for SMT problems with
BoolExpr
. For verification purposes BoolExpr.Sat
and BoolExpr.Unsat
are provided.
This module contains the definition of a generic boolean substructure for SMT problems with
BoolExpr
. For verification purposes BoolExpr.Sat
and BoolExpr.Unsat
are provided.