libc.so.6
libcudd-3.0.0.so.0
libgmp.so.10
libpoly.so.0
