diff options
author | 2017-08-08 14:57:04 +0200 | |
---|---|---|
committer | 2017-08-08 14:57:04 +0200 | |
commit | 6d3442d703cf5c67862adb81b0495c9ce76be3f5 (patch) | |
tree | 26b6114668463363fa6b5feef934ae3eb9b514a2 /Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/build.properties | |
parent | Modified LogicSolver to support the use of integer, string and real (diff) | |
download | VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.tar.gz VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.tar.zst VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.zip |
Fixed a typo
allNetativeVariablesAreSatisfied -> allNegativeVariablesAreSatisfied
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.viatra2logic/build.properties')
0 files changed, 0 insertions, 0 deletions