diff options
author | anqili426 <mollisterkl@outlook.com> | 2020-04-15 01:24:14 -0400 |
---|---|---|
committer | anqili426 <mollisterkl@outlook.com> | 2020-04-15 01:24:14 -0400 |
commit | d8f9e9d3863255f367caa3098a4fd7c87f81b841 (patch) | |
tree | 98d9a72b195ec77233b8a0731fe1db90388ac4ee /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2LogicTypeResult.xtend | |
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/src/hu/bme/mit/inf/dslreasoner/viatra2logic/Viatra2LogicTypeResult.xtend')
0 files changed, 0 insertions, 0 deletions