diff options
author | Istvan Rath <istvan.rath@gmail.com> | 2017-05-31 15:55:31 +0200 |
---|---|---|
committer | Istvan Rath <istvan.rath@gmail.com> | 2017-05-31 15:55:31 +0200 |
commit | b230cec77b36bededfe3fe494394a117a14d3f98 (patch) | |
tree | c2f6d48f756ac8a4bb172a0dffbc565d0d56d11f /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/patterns/hu | |
download | VIATRA-Generator-b230cec77b36bededfe3fe494394a117a14d3f98.tar.gz VIATRA-Generator-b230cec77b36bededfe3fe494394a117a14d3f98.tar.zst VIATRA-Generator-b230cec77b36bededfe3fe494394a117a14d3f98.zip |
Initial commit
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/patterns/hu')
0 files changed, 0 insertions, 0 deletions