diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2019-09-02 16:24:14 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-09-02 16:24:14 +0200 |
commit | 5a565f185949b4a43045492b539ce59682a8190d (patch) | |
tree | c105ed0b1e839224b7cc7864aae4e06bd4d9a138 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/queries/hu | |
parent | Type Interpretation for Alloy with Inheritance+Horizontal mapping (diff) | |
download | VIATRA-Generator-5a565f185949b4a43045492b539ce59682a8190d.tar.gz VIATRA-Generator-5a565f185949b4a43045492b539ce59682a8190d.tar.zst VIATRA-Generator-5a565f185949b4a43045492b539ce59682a8190d.zip |
Alloy upper multiplicity under-approximation with keyword bug fix
candidate 1
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/queries/hu')
0 files changed, 0 insertions, 0 deletions