aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/VIATRA-Solver
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-02-24 18:38:40 -0500
committerLibravatar OszkarSemerath <oszkar.semerath@gmail.com>2018-02-24 18:38:40 -0500
commitd37c22c147570922049776df6c4765b146eb06b7 (patch)
treeae19166c9f150a0aa0fcffaae04e9af9ebd3237d /Solvers/VIATRA-Solver
parentDocumentation level for Alloy (diff)
downloadVIATRA-Generator-d37c22c147570922049776df6c4765b146eb06b7.tar.gz
VIATRA-Generator-d37c22c147570922049776df6c4765b146eb06b7.tar.zst
VIATRA-Generator-d37c22c147570922049776df6c4765b146eb06b7.zip
Documentation level is in the config interface
Diffstat (limited to 'Solvers/VIATRA-Solver')
0 files changed, 0 insertions, 0 deletions