yices 2.7.0-1 Soname List

Back to Package

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