Closed jim-portegies closed 9 months ago
Note: the hint databases for the 'Either ... or ...'-tactic are now also include the lra-solver, so some non-exclusive or-statements can now also be solved.
Note: the hint databases for the 'Either ... or ...'-tactic are now also include the lra-solver, so some non-exclusive or-statements can now also be solved.