lrwxrwxrwx | 23 | root |
root |
/usr/lib/libgecodedriver.so.40
|
-rwxr-xr-x | 56048 | root |
root |
/usr/lib/libgecodedriver.so.40.0
|
lrwxrwxrwx | 25 | root |
root |
/usr/lib/libgecodeflatzinc.so.40
|
-rwxr-xr-x | 565940 | root |
root |
/usr/lib/libgecodeflatzinc.so.40.0
|
lrwxrwxrwx | 22 | root |
root |
/usr/lib/libgecodefloat.so.40
|
-rwxr-xr-x | 969156 | root |
root |
/usr/lib/libgecodefloat.so.40.0
|
lrwxrwxrwx | 21 | root |
root |
/usr/lib/libgecodegist.so.40
|
-rwxr-xr-x | 286568 | root |
root |
/usr/lib/libgecodegist.so.40.0
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib/libgecodeint.so.40
|
-rwxr-xr-x | 5803192 | root |
root |
/usr/lib/libgecodeint.so.40.0
|
lrwxrwxrwx | 23 | root |
root |
/usr/lib/libgecodekernel.so.40
|
-rwxr-xr-x | 47844 | root |
root |
/usr/lib/libgecodekernel.so.40.0
|
lrwxrwxrwx | 26 | root |
root |
/usr/lib/libgecodeminimodel.so.40
|
-rwxr-xr-x | 234696 | root |
root |
/usr/lib/libgecodeminimodel.so.40.0
|
lrwxrwxrwx | 23 | root |
root |
/usr/lib/libgecodesearch.so.40
|
-rwxr-xr-x | 86332 | root |
root |
/usr/lib/libgecodesearch.so.40.0
|
lrwxrwxrwx | 20 | root |
root |
/usr/lib/libgecodeset.so.40
|
-rwxr-xr-x | 2410208 | root |
root |
/usr/lib/libgecodeset.so.40.0
|
lrwxrwxrwx | 24 | root |
root |
/usr/lib/libgecodesupport.so.40
|
-rwxr-xr-x | 18976 | root |
root |
/usr/lib/libgecodesupport.so.40.0
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/gecode
|
-rw-r--r-- | 142189 | root |
root |
/usr/share/doc/gecode/ChangeLog
|
-rw-r--r-- | 1278 | root |
root |
/usr/share/doc/gecode/LICENSE
|