diff options
author | anqili426 <mollisterkl@outlook.com> | 2020-05-10 22:57:22 -0400 |
---|---|---|
committer | anqili426 <mollisterkl@outlook.com> | 2020-05-10 22:57:44 -0400 |
commit | b77b0fe5e2da1f240360fb12a287400b85ed8511 (patch) | |
tree | d95110efbf81d013a0615a468356f328a4f742b3 /Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_Containment.xtend | |
parent | Added support for real numbers (diff) | |
download | VIATRA-Generator-b77b0fe5e2da1f240360fb12a287400b85ed8511.tar.gz VIATRA-Generator-b77b0fe5e2da1f240360fb12a287400b85ed8511.tar.zst VIATRA-Generator-b77b0fe5e2da1f240360fb12a287400b85ed8511.zip |
Allow real numbers to be in the solution
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dlsreasoner.alloy.reasoner/src/hu/bme/mit/inf/dlsreasoner/alloy/reasoner/builder/Logic2AlloyLanguageMapper_Containment.xtend')
0 files changed, 0 insertions, 0 deletions