testsuite: remove some old -sat-cudd tests #117
Annotations
1 warning
|
Install dependencies
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
Loading