Skip to content

test(logics): checked examples for clause sets, parity, DNF, QBF and subformulas - #619

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
test/logics-examples
Oct 23, 2026
Merged

test(logics): checked examples for clause sets, parity, DNF, QBF and subformulas#619
SamuelSchlesinger merged 1 commit into
mainfrom
test/logics-examples

test(logics): checked examples for clause sets, parity, DNF, QBF and …

b0adbc8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 23, 2026 in 3s