Rename `pick_cube_symbolic` into `pick_cube_dd` #88

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint & Doc	55s
Test (Linux) (gcc, g++)	25s
Test (Linux) (clang, clang++)	30s
Test (macOS)	32s
Test (Windows)	1m 24s
	3m 46s