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 into
holgerdell: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 into
holgerdell:masterfrom
jmeintrup:master

Update autotest-tw-solver.py

ef76b36
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs