libboost_program_options.so.1.78.0
libcryptominisat5.so.5.8
libc.so.6
libgcc_s.so.1
libm4ri-0.0.20200125.so
libm.so.6
libpthread.so.0
libsqlite3.so.0
libstdc++.so.6
libz.so.1
