diff options
author | 2017-08-27 17:20:18 +0200 | |
---|---|---|
committer | 2017-08-27 17:20:18 +0200 | |
commit | 04f5e257ca684dfe75262a5cf1f29b72ba197edf (patch) | |
tree | 6dcabdebdb3d7d3af794b39344d965ebf2bc2b6d /Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui | |
parent | simple typemapper for alloy (diff) | |
download | VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.gz VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.tar.zst VIATRA-Generator-04f5e257ca684dfe75262a5cf1f29b72ba197edf.zip |
Primitive types added to the logic problem only if needed
Diffstat (limited to 'Solvers/SMT-Solver/hu.bme.mit.inf.dslreasoner.smt.language.ui')
0 files changed, 0 insertions, 0 deletions