diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-07-15 20:27:36 +0200 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-07-15 20:27:36 +0200 |
| commit | 564bbf59f15314320b7ebc5d7acced6cff01b649 (patch) | |
| tree | 121172f3f82ba9125443f0c9f3c9735d8caccb97 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend | |
| parent | Additional packages for standalone runtime environment (diff) | |
| download | VIATRA-Generator-564bbf59f15314320b7ebc5d7acced6cff01b649.tar.gz VIATRA-Generator-564bbf59f15314320b7ebc5d7acced6cff01b649.tar.zst VIATRA-Generator-564bbf59f15314320b7ebc5d7acced6cff01b649.zip | |
Added scope validation as a service of the solver interface
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/src/hu/bme/mit/inf/dslreasoner/logic/model/builder/LogicProblemBuilder.xtend')
0 files changed, 0 insertions, 0 deletions