gr1c tests

DOC: update instructions about manually getting CUDD #35

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build and test (gcc)	1m 28s
Build and test (clang)	1m 7s
	2m 35s