yices 2.6.4-1 Soname List

Back to Package

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