Skip to content

Allow passing arguments to treewidth solver and use exit codes depending on test results#3

Open
jmeintrup wants to merge 2 commits intoholgerdell:masterfrom
jmeintrup:master
Open

Allow passing arguments to treewidth solver and use exit codes depending on test results#3
jmeintrup wants to merge 2 commits intoholgerdell:masterfrom
jmeintrup:master

Commits

Commits on Feb 20, 2021