diff options
author | Oszkar Semerath <semerath@mit.bme.hu> | 2019-07-15 19:02:29 +0200 |
---|---|---|
committer | Oszkar Semerath <semerath@mit.bme.hu> | 2019-07-15 19:02:29 +0200 |
commit | 2093fa9ebcbd79f4cee2c224c78fb58d26ca568e (patch) | |
tree | ba1cd53f042cf4085853b25c00966d2feaeaf8ba /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/queries | |
parent | adding slf4j dependency to avoid error message in logs (diff) | |
download | VIATRA-Generator-2093fa9ebcbd79f4cee2c224c78fb58d26ca568e.tar.gz VIATRA-Generator-2093fa9ebcbd79f4cee2c224c78fb58d26ca568e.tar.zst VIATRA-Generator-2093fa9ebcbd79f4cee2c224c78fb58d26ca568e.zip |
https://github.com/kris7t graph width calculation ->
from https://github.com/kris7t/VIATRA-Generator/blob/c0c5a1644cc221352b8b9b370eea6a87677ba948/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/src/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/neighbourhood/PartialInterpretation2NeighbourhoodRepresentation.xtend#L99-L138
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/queries')
0 files changed, 0 insertions, 0 deletions