Skip to content

Flatten addition and multiplication

Viktor Kuncak requested to merge github/fork/mario-bucev/n-ary-arith into scala-3.x

Created by: mario-bucev

Leveraging https://github.com/epfl-lara/scala-smtlib/pull/9

Merge request reports