From 63b95a0b1f9c82e2d07fcee7284cbe138ec0f89a Mon Sep 17 00:00:00 2001
From: Oszkar Semerath <semerath@mit.bme.hu>
Date: Sun, 10 May 2020 18:37:15 +0200
Subject: closing numerical solver

---
 .../bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java  | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner')

diff --git a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
index 0e6e824c..8749a5a8 100644
--- a/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
+++ b/Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/NumericProblemSolver.java
@@ -90,7 +90,9 @@ public class NumericProblemSolver {
 	public boolean isSatisfiable(Map<XExpression, Iterable<Map<JvmIdentifiableElement,PrimitiveElement>>> matches) throws Exception {
 		BoolExpr problemInstance = formNumericProblemInstance(matches);
 		s.add(problemInstance);
-		return s.check() == Status.SATISFIABLE;
+		boolean result = (s.check() == Status.SATISFIABLE);
+		this.ctx.close();
+		return result;
 	}
 	
 	public Map<PrimitiveElement,Integer> getOneSolution(List<PrimitiveElement> objs, Map<XExpression, Iterable<Map<JvmIdentifiableElement,PrimitiveElement>>> matches) throws Exception {
@@ -121,7 +123,7 @@ public class NumericProblemSolver {
 		} else {
 			System.out.println("Unsatisfiable");
 		}
-		
+		this.ctx.close();
 		return sol;
 	}
 
-- 
cgit v1.2.3-54-g00ecf