diff options
author | 2018-03-04 16:57:00 -0500 | |
---|---|---|
committer | 2018-03-04 16:57:00 -0500 | |
commit | 8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904 (patch) | |
tree | 148b5c679b4c4143d9d2ce8253372a39eb528525 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage | |
parent | Statistics are appended (diff) | |
download | VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.tar.gz VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.tar.zst VIATRA-Generator-8a3cbd2d31668ae6b3ef0ca67bbd67695ba07904.zip |
Default visualisation set to .svg
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage')
0 files changed, 0 insertions, 0 deletions