From 6807210c8b49933ee7b432e958040c7a26d4825b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 30 Apr 2018 16:00:07 -0700
Subject: [PATCH] merge
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/api/java/Solver.java | 16 ----------------
1 file changed, 16 deletions(-)
diff --git a/src/api/java/Solver.java b/src/api/java/Solver.java
index a1a852791..0370a9571 100644
--- a/src/api/java/Solver.java
+++ b/src/api/java/Solver.java
@@ -121,22 +121,6 @@ public class Solver extends Z3Object {
}
}
- /**
- * Load solver assertions from a file.
- */
- public void fromFile(String file)
- {
- Native.solverFromFile(getContext().nCtx(), getNativeObject(), file);
- }
-
- /**
- * Load solver assertions from a string.
- */
- public void fromString(String str)
- {
- Native.solverFromString(getContext().nCtx(), getNativeObject(), str);
- }
-
/**
* Assert multiple constraints into the solver, and track them (in the