After installing BuDDy from utwente-fmt/buddy as described in the updated readme in its #2 I get a failure when running make check, since the test-vset fails with the following error about libdd.so.0 not being available despite it definitely is there in /usr/local/lib/
./test-vset: error while loading shared libraries: libbdd.so.0: cannot open shared object file: No such file or directory
FAIL test-vset (exit status: 127)
After installing BuDDy from utwente-fmt/buddy as described in the updated readme in its #2 I get a failure when running
make check
, since the test-vset fails with the following error about libdd.so.0 not being available despite it definitely is there in /usr/local/lib/