diff options
author | 2020-04-15 01:24:14 -0400 | |
---|---|---|
committer | 2020-04-15 01:24:14 -0400 | |
commit | d8f9e9d3863255f367caa3098a4fd7c87f81b841 (patch) | |
tree | 98d9a72b195ec77233b8a0731fe1db90388ac4ee /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.settings | |
parent | Updated logic that creates a numeric problem using matches (diff) | |
download | VIATRA-Generator-d8f9e9d3863255f367caa3098a4fd7c87f81b841.tar.gz VIATRA-Generator-d8f9e9d3863255f367caa3098a4fd7c87f81b841.tar.zst VIATRA-Generator-d8f9e9d3863255f367caa3098a4fd7c87f81b841.zip |
Added logic to get a solution
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/.settings')
0 files changed, 0 insertions, 0 deletions