diff options
| author |  Mayer Krisztián Gábor <mayer.krisztian.gabor@gmail.com> | 2017-08-08 14:57:04 +0200 |
|---|---|---|
| committer | Mayer Krisztián Gábor <mayer.krisztian.gabor@gmail.com> | 2017-08-08 14:57:04 +0200 |
| commit | 6d3442d703cf5c67862adb81b0495c9ce76be3f5 (patch) | |
| tree | 26b6114668463363fa6b5feef934ae3eb9b514a2 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src | |
| 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.logic.model/src')
0 files changed, 0 insertions, 0 deletions