Closed strub closed 1 month ago
Operators' body are not sent to SMT solvers when tagged with "smt_opaque"
Operators' body are not sent to SMT solvers when tagged with "smt_opaque"