getProof method

Expr getProof()

Implementation

Expr getProof() {
  return _c._getExpr(_c._z3.solver_get_proof(_solver));
}