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 /Tests/hu.bme.mit.inf.dslreasoner.run/.settings | |
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 'Tests/hu.bme.mit.inf.dslreasoner.run/.settings')
0 files changed, 0 insertions, 0 deletions