diff options
author | Kristóf Marussy <kris7topher@gmail.com> | 2019-07-29 16:02:59 +0200 |
---|---|---|
committer | Kristóf Marussy <kris7topher@gmail.com> | 2019-07-29 16:02:59 +0200 |
commit | b11070b41888a1ceaaaefad49a7860455b2115fb (patch) | |
tree | 2ce375a0e05a09994bada7fe6578587410d7fedd /Application/hu.bme.mit.inf.dslreasoner.application/model | |
parent | Fix CBC timeout (diff) | |
download | VIATRA-Generator-b11070b41888a1ceaaaefad49a7860455b2115fb.tar.gz VIATRA-Generator-b11070b41888a1ceaaaefad49a7860455b2115fb.tar.zst VIATRA-Generator-b11070b41888a1ceaaaefad49a7860455b2115fb.zip |
Allow infiite upper scope bound in PolyhedronScopePropagator
Diffstat (limited to 'Application/hu.bme.mit.inf.dslreasoner.application/model')
0 files changed, 0 insertions, 0 deletions