diff options
author | 2018-11-07 13:17:16 +0100 | |
---|---|---|
committer | 2018-11-07 13:17:16 +0100 | |
commit | e2a9a87c4f441edcdeb7ed7575da2c4666617566 (patch) | |
tree | 3b33952d518cde74b5deb2f6bdf8ef3bd531f0e1 /Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/highlight/ColorCalculator.xtend | |
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 'Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme/mit/inf/dslreasoner/application/ui/highlight/ColorCalculator.xtend')
0 files changed, 0 insertions, 0 deletions