diff options
author | 2018-03-03 02:02:21 -0500 | |
---|---|---|
committer | 2018-03-03 02:02:21 -0500 | |
commit | a575e7d063ef1776d620fe6318b8ba2f30d82a11 (patch) | |
tree | 98e252632ce04fc0ec80cd0e204f58dbcdb91130 /Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF | |
parent | +SolverProcessMonitor to (optionally) report process and request cancel (diff) | |
download | VIATRA-Generator-a575e7d063ef1776d620fe6318b8ba2f30d82a11.tar.gz VIATRA-Generator-a575e7d063ef1776d620fe6318b8ba2f30d82a11.tar.zst VIATRA-Generator-a575e7d063ef1776d620fe6318b8ba2f30d82a11.zip |
ViatraSolver reports progress and stops at cancel
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/META-INF/MANIFEST.MF')
0 files changed, 0 insertions, 0 deletions