Skip to content

Interval: handle negative multiplication

Patrick Jaap requested to merge patrick.jaap_at_tu-dresden.de/dune-solvers:feature/interval-multiplication into master

Merge request reports