diff options
author | 2018-07-15 20:27:36 +0200 | |
---|---|---|
committer | 2018-07-15 20:27:36 +0200 | |
commit | 564bbf59f15314320b7ebc5d7acced6cff01b649 (patch) | |
tree | 121172f3f82ba9125443f0c9f3c9735d8caccb97 /Application/hu.bme.mit.inf.dslreasoner.application | |
parent | Additional packages for standalone runtime environment (diff) | |
download | VIATRA-Generator-564bbf59f15314320b7ebc5d7acced6cff01b649.tar.gz VIATRA-Generator-564bbf59f15314320b7ebc5d7acced6cff01b649.tar.zst VIATRA-Generator-564bbf59f15314320b7ebc5d7acced6cff01b649.zip |
Added scope validation as a service of the solver interface
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application')
0 files changed, 0 insertions, 0 deletions