diff options
author | 2018-11-07 13:18:47 +0100 | |
---|---|---|
committer | 2018-11-07 13:18:47 +0100 | |
commit | 14f84a881d00c6085d20547c80b343dd9f79354b (patch) | |
tree | 79b9070f6ad0c80648010c7e7878cdf7a754d326 /Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme | |
parent | Solver gives partial solutions even if it fails due to timeout or unsat (diff) | |
download | VIATRA-Generator-14f84a881d00c6085d20547c80b343dd9f79354b.tar.gz VIATRA-Generator-14f84a881d00c6085d20547c80b343dd9f79354b.tar.zst VIATRA-Generator-14f84a881d00c6085d20547c80b343dd9f79354b.zip |
Fix boolean element mapping handling in logic structures for VS
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application.ui/src/hu/bme')
0 files changed, 0 insertions, 0 deletions