Skip to content

added a base class for forall_exprt and exists_exprt#1897

Merged
tautschnig merged 1 commit intodevelopfrom
quantifier_exprt
Mar 2, 2018

Commits

Commits on Mar 1, 2018