Files
-rw-r--r-- | 21929450 | root | root | /usr/lib/libgroebner.a |
-rw-r--r-- | 2518126 | root | root | /usr/lib/libpboriCudd.a |
-rw-r--r-- | 7443324 | root | root | /usr/lib/libpolybori.a |
-rw-r--r-- | 21929450 | root | root | /usr/lib/libgroebner.a |
-rw-r--r-- | 2518126 | root | root | /usr/lib/libpboriCudd.a |
-rw-r--r-- | 7443324 | root | root | /usr/lib/libpolybori.a |