diff options
| author |  OszkarSemerath <oszka@152.66.252.189> | 2017-10-27 17:36:59 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszka@152.66.252.189> | 2017-10-27 17:36:59 +0200 |
| commit | 2c6583e73434fac226ffaf972a9dc8aa9bf35f60 (patch) | |
| tree | 61b0dc635e3c39dbd07aae64051b1af3a284a15a /Solvers/VIATRA-Solver | |
| parent | Random seed added to Alloy config (diff) | |
| download | VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.tar.gz VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.tar.zst VIATRA-Generator-2c6583e73434fac226ffaf972a9dc8aa9bf35f60.zip | |
Added a set of mutated queries to yakindu
Diffstat (limited to 'Solvers/VIATRA-Solver')
0 files changed, 0 insertions, 0 deletions