diff options
| author |  OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 13:17:16 +0100 |
|---|---|---|
| committer | OszkarSemerath <oszkar.semerath@gmail.com> | 2018-11-07 13:17:16 +0100 |
| commit | e2a9a87c4f441edcdeb7ed7575da2c4666617566 (patch) | |
| tree | 3b33952d518cde74b5deb2f6bdf8ef3bd531f0e1 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver/reasoner/dse/PartialModelAsLogicInterpretation.xtend | |
| parent | some missing string support bugs in partial interpretation are fixed (diff) | |
| download | VIATRA-Generator-e2a9a87c4f441edcdeb7ed7575da2c4666617566.tar.gz VIATRA-Generator-e2a9a87c4f441edcdeb7ed7575da2c4666617566.tar.zst VIATRA-Generator-e2a9a87c4f441edcdeb7ed7575da2c4666617566.zip | |
Solver gives partial solutions even if it fails due to timeout or unsat
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