diff options
author | 2017-07-05 14:03:32 +0200 | |
---|---|---|
committer | 2017-07-05 14:03:32 +0200 | |
commit | 94c8f0eb155b624b07b92db2504dd17991be3f0f (patch) | |
tree | e8871f5f5458092e9185355f787fa5ff26709225 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner | |
parent | When there is a definition to a declaration in the logic problem, the (diff) | |
download | VIATRA-Generator-94c8f0eb155b624b07b92db2504dd17991be3f0f.tar.gz VIATRA-Generator-94c8f0eb155b624b07b92db2504dd17991be3f0f.tar.zst VIATRA-Generator-94c8f0eb155b624b07b92db2504dd17991be3f0f.zip |
full Ecore -> Logic -> Ecore support
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner')
0 files changed, 0 insertions, 0 deletions