Skip to content

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

Closed
zazabap wants to merge 2 commits into
mainfrom
verify-naesatisfiability-setsplitting
Closed

docs: verify reduction #841 — NAESatisfiability → SetSplitting#977
zazabap wants to merge 2 commits into
mainfrom
verify-naesatisfiability-setsplitting

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

a469322
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar