diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-20 01:18:09 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2020-05-20 01:18:09 +0200 |
| commit | a0c3b54089c935845c04abf67df911b9efacb868 (patch) | |
| tree | a285f819db663b853a85310bf9c8310166a0409d /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend | |
| parent | Merge branch 'master' of https://github.com/viatra/VIATRA-Generator (diff) | |
| download | VIATRA-Generator-a0c3b54089c935845c04abf67df911b9efacb868.tar.gz VIATRA-Generator-a0c3b54089c935845c04abf67df911b9efacb868.tar.zst VIATRA-Generator-a0c3b54089c935845c04abf67df911b9efacb868.zip | |
FIx Boolean export to gml
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend')
0 files changed, 0 insertions, 0 deletions