Skip to content

SMT2 back-end: declare a quantified logic when quantifiers are emitted - #9417

Open
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:pr/smt2-quantified-logic
Open

SMT2 back-end: declare a quantified logic when quantifiers are emitted#9417
tautschnig wants to merge 1 commit into
diffblue:developfrom
tautschnig:pr/smt2-quantified-logic

Commits

  1. Commits on Nov 10, 2026