Skip to content

SMT2 back-end: CVC5 does not support lambda expressions#7676

Merged
tautschnig merged 1 commit intodiffblue:developfrom
tautschnig:bugfixes/cvc5-no-lambda
Apr 20, 2023

Commits

Commits on Apr 20, 2023