From 2a8d207bf454d32e1892658f5c039704e6c1fa7e Mon Sep 17 00:00:00 2001
From: Daniel Selsam <daniel.selsam@protonmail.com>
Date: Thu, 13 Sep 2018 14:31:52 -0700
Subject: [PATCH] remove duplicate method definitions
---
src/api/python/z3/z3.py | 8 --------
1 file changed, 8 deletions(-)
diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
index e0769c1fd..73339d478 100644
--- a/src/api/python/z3/z3.py
+++ b/src/api/python/z3/z3.py
@@ -6626,14 +6626,6 @@ class Solver(Z3PPObject):
def proof(self):
"""Return a proof for the last `check()`. Proof construction must be enabled."""
return _to_expr_ref(Z3_solver_get_proof(self.ctx.ref(), self.solver), self.ctx)
-
- def from_file(self, filename):
- """Parse assertions from a file"""
- Z3_solver_from_file(self.ctx.ref(), self.solver, filename)
-
- def from_string(self, s):
- """Parse assertions from a string"""
- Z3_solver_from_string(self.ctx.ref(), self.solver, s)
def assertions(self):
"""Return an AST vector containing all added constraints.