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 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver | |
| 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 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.reasoner/src/hu/bme/mit/inf/dslreasoner/viatrasolver')
0 files changed, 0 insertions, 0 deletions