From 6dfdda9b3a6764cf5e4b5fc4303a49bb80193c5a Mon Sep 17 00:00:00 2001 From: Aren Babikian Date: Mon, 14 Dec 2020 03:27:43 -0500 Subject: implement isSatisfiable with Dreal integration --- .../bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend index 8e992741..1f902b90 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend @@ -163,6 +163,9 @@ class ViatraReasoner extends LogicReasoner { } val solverTime = System.nanoTime - solverStartTime viatraConfig.progressMonitor.workedSearchFinished + + //dreal teardown + numericSolver.numericDrealSolver.teardown() // additionalMatches = strategy.solutionStoreWithCopy.additionalMatches val statistics = createStatistics => [ -- cgit v1.2.3-54-g00ecf