Skip to content

docs: verify reduction #841 — NAESatisfiability → SetSplitting - #980

Closed
zazabap wants to merge 1 commit into
mainfrom
issue/841-verify-naesat-setsplitting
Closed

docs: verify reduction #841 — NAESatisfiability → SetSplitting#980
zazabap wants to merge 1 commit into
mainfrom
issue/841-verify-naesat-setsplitting

docs: /verify-reduction #841 — NAESatisfiability → SetSplitting VERIFIED

168f6be
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar