Test-Command: cmake -Wno-dev -S . -B $AUTOPKGTEST_TMP/build
	            -DCMAKE_BUILD_TYPE=Release
	            -DAMPL=OFF
	            -DSYM=nauty
	            -DZIMPL=ON
	            -DSCIP_EXECUTABLE=/usr/bin/scip &&
	      ctest --test-dir $AUTOPKGTEST_TMP/build/check
	            -R default --output-on-failure
Depends: scip, @builddeps@
Restrictions: allow-stderr
