diff options
author | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 13:17:16 +0100 |
---|---|---|
committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 13:17:16 +0100 |
commit | e2a9a87c4f441edcdeb7ed7575da2c4666617566 (patch) | |
tree | 3b33952d518cde74b5deb2f6bdf8ef3bd531f0e1 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF | |
parent | some missing string support bugs in partial interpretation are fixed (diff) | |
download | VIATRA-Generator-e2a9a87c4f441edcdeb7ed7575da2c4666617566.tar.gz VIATRA-Generator-e2a9a87c4f441edcdeb7ed7575da2c4666617566.tar.zst VIATRA-Generator-e2a9a87c4f441edcdeb7ed7575da2c4666617566.zip |
Solver gives partial solutions even if it fails due to timeout or unsat
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF')
-rw-r--r-- | Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF index 51c10b23..2a271acf 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/META-INF/MANIFEST.MF | |||
@@ -15,7 +15,7 @@ Require-Bundle: hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0", | |||
15 | org.eclipse.xtend.lib.macro, | 15 | org.eclipse.xtend.lib.macro, |
16 | org.eclipse.viatra.query.runtime.matchers;bundle-version="1.5.0", | 16 | org.eclipse.viatra.query.runtime.matchers;bundle-version="1.5.0", |
17 | org.eclipse.viatra.query.runtime;bundle-version="1.5.0", | 17 | org.eclipse.viatra.query.runtime;bundle-version="1.5.0", |
18 | org.eclipse.viatra.dse;bundle-version="0.15.0", | 18 | org.eclipse.viatra.dse;bundle-version="0.20.0", |
19 | org.eclipse.emf.ecore.edit;bundle-version="2.9.0", | 19 | org.eclipse.emf.ecore.edit;bundle-version="2.9.0", |
20 | org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.7.0" | 20 | org.eclipse.viatra.query.runtime.base.itc;bundle-version="1.7.0" |
21 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 | 21 | Bundle-RequiredExecutionEnvironment: JavaSE-1.8 |