aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2020-12-14 03:27:43 -0500
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2020-12-14 03:27:43 -0500
commit6dfdda9b3a6764cf5e4b5fc4303a49bb80193c5a (patch)
tree7e014ca5f436110525329b2b745416e026066e49 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend
parentadd numericProblemSolver supertype (diff)
downloadVIATRA-Generator-6dfdda9b3a6764cf5e4b5fc4303a49bb80193c5a.tar.gz
VIATRA-Generator-6dfdda9b3a6764cf5e4b5fc4303a49bb80193c5a.tar.zst
VIATRA-Generator-6dfdda9b3a6764cf5e4b5fc4303a49bb80193c5a.zip
implement isSatisfiable with Dreal integration
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend')
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/ViatraReasoner.xtend3
1 files changed, 3 insertions, 0 deletions
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 {
163 } 163 }
164 val solverTime = System.nanoTime - solverStartTime 164 val solverTime = System.nanoTime - solverStartTime
165 viatraConfig.progressMonitor.workedSearchFinished 165 viatraConfig.progressMonitor.workedSearchFinished
166
167 //dreal teardown
168 numericSolver.numericDrealSolver.teardown()
166 169
167 // additionalMatches = strategy.solutionStoreWithCopy.additionalMatches 170 // additionalMatches = strategy.solutionStoreWithCopy.additionalMatches
168 val statistics = createStatistics => [ 171 val statistics = createStatistics => [