Files
| -rw-r--r-- | 223627 | root | root | /usr/share/java/org.sat4j.core.jar |
| -rw-r--r-- | 142049 | root | root | /usr/share/java/org.sat4j.pb.jar |
| -rw-r--r-- | 223627 | root | root | /usr/share/java/org.sat4j.core.jar |
| -rw-r--r-- | 142049 | root | root | /usr/share/java/org.sat4j.pb.jar |
::
::
::
