Skip to content

[RFC] Make conversion failures in the propositional back-end fatal [depends-on: #6914, #6915]#6655

Draft
tautschnig wants to merge 1 commit intodiffblue:developfrom
tautschnig:feature/conversion-failure-is-fatal

Commits

Commits on Feb 9, 2022