| drwxr-xr-x | 0 | root |
root |
/usr/include/cddlib
|
| -rw-r--r-- | 13777 | root |
root |
/usr/include/cddlib/cdd.h
|
| -rw-r--r-- | 14511 | root |
root |
/usr/include/cddlib/cdd_f.h
|
| -rw-r--r-- | 4778 | root |
root |
/usr/include/cddlib/cddmp.h
|
| -rw-r--r-- | 4961 | root |
root |
/usr/include/cddlib/cddmp_f.h
|
| -rw-r--r-- | 11013 | root |
root |
/usr/include/cddlib/cddtypes.h
|
| -rw-r--r-- | 11329 | root |
root |
/usr/include/cddlib/cddtypes_f.h
|
| -rw-r--r-- | 1373 | root |
root |
/usr/include/cddlib/setoper.h
|
| -rw-r--r-- | 609 | root |
root |
/usr/include/cddlib/splitmix64.h
|
| lrwxrwxrwx | 15 | root |
root |
/usr/lib64/libcdd.so
|
| lrwxrwxrwx | 18 | root |
root |
/usr/lib64/libcddgmp.so
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/lib64cddlib-devel
|
| -rw-r--r-- | 239667 | root |
root |
/usr/share/doc/lib64cddlib-devel/cddlibman.pdf
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d
|
| -rw-r--r-- | 289 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/ccc4.ext
|
| -rw-r--r-- | 461 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/ccc5.ext
|
| -rw-r--r-- | 1187 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/ccc6.ext
|
| -rw-r--r-- | 357 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/ccp4.ext
|
| -rw-r--r-- | 530 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/ccp5.ext
|
| -rw-r--r-- | 1269 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/ccp6.ext
|
| -rw-r--r-- | 270 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/cyclic10-4.ext
|
| -rw-r--r-- | 448 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/cyclic12-6.ext
|
| -rw-r--r-- | 732 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/cyclic14-8.ext
|
| -rw-r--r-- | 1197 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/cyclic16-10.ext
|
| -rw-r--r-- | 650 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/irbox20-4.ext
|
| -rw-r--r-- | 5332 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/irbox200-4.ext
|
| -rw-r--r-- | 176639 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/prodst62.ext
|
| -rw-r--r-- | 549 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/reg24-5.ext
|
| -rw-r--r-- | 23616 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ext/reg600-5.ext
|
| -rw-r--r-- | 148 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/allzero.ine
|
| -rw-r--r-- | 28743 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cross10.ine
|
| -rw-r--r-- | 135240 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cross12.ine
|
| -rw-r--r-- | 1218 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cross6.ine
|
| -rw-r--r-- | 5955 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cross8.ine
|
| -rw-r--r-- | 745 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cube10.ine
|
| -rw-r--r-- | 1025 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cube12.ine
|
| -rw-r--r-- | 320 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cube6.ine
|
| -rw-r--r-- | 511 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cube8.ine
|
| -rw-r--r-- | 280 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/cubocta.ine
|
| -rw-r--r-- | 235 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/ex1.ine
|
| -rw-r--r-- | 427 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/infeas.ine
|
| -rw-r--r-- | 1193 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/integralpoints.ine
|
| -rw-r--r-- | 725 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/kkd18_4.ine
|
| -rw-r--r-- | 1367 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/kkd27_5.ine
|
| -rw-r--r-- | 2457 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/kkd38_6.ine
|
| -rw-r--r-- | 211 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/nonfull.ine
|
| -rw-r--r-- | 342 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/origin.ine
|
| -rw-r--r-- | 486 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/reg24-5.ine
|
| -rw-r--r-- | 159 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/sampleh1.ine
|
| -rw-r--r-- | 128 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/sampleh2.ine
|
| -rw-r--r-- | 142 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/sampleh3.ine
|
| -rw-r--r-- | 228 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/sampleh4.ine
|
| -rw-r--r-- | 264 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/sampleh5.ine
|
| -rw-r--r-- | 176 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/sampleh6.ine
|
| -rw-r--r-- | 288 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/sampleh7.ine
|
| -rw-r--r-- | 4360 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/sampleh8.ine
|
| -rw-r--r-- | 1080 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/samplelp.ine
|
| -rw-r--r-- | 175 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/samplelp1.ine
|
| -rw-r--r-- | 191 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/samplelp2.ine
|
| -rw-r--r-- | 6436 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/samplelp3.ine
|
| -rw-r--r-- | 6389 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine/samplelp4.ine
|
| -rw-r--r-- | 166 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d/cube3.ine
|
| -rw-r--r-- | 280 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d/cubocta.ine
|
| -rw-r--r-- | 482 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d/dodeca.ine
|
| -rw-r--r-- | 466 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d/grcubocta.ine
|
| -rw-r--r-- | 709 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d/hexocta.ine
|
| -rw-r--r-- | 1668 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d/icododeca.ine
|
| -rw-r--r-- | 459 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d/rcubocta.ine
|
| -rw-r--r-- | 1449 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples-ine3d/rhomtria.ine
|
| -rw-r--r-- | 698 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/project1.ine
|
| -rw-r--r-- | 239 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/project1res.ine
|
| -rw-r--r-- | 1858 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/project2.ine
|
| -rw-r--r-- | 1315 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/project2res.ine
|
| -rw-r--r-- | 92 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/redcheck.ext
|
| -rw-r--r-- | 173 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sample.ine
|
| -rw-r--r-- | 159 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sampleh1.ine
|
| -rw-r--r-- | 128 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sampleh2.ine
|
| -rw-r--r-- | 142 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sampleh3.ine
|
| -rw-r--r-- | 207 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sampleh4.ine
|
| -rw-r--r-- | 219 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sampleh5.ine
|
| -rw-r--r-- | 176 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sampleh6.ine
|
| -rw-r--r-- | 288 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sampleh7.ine
|
| -rw-r--r-- | 4360 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/sampleh8.ine
|
| -rw-r--r-- | 1087 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp.ine
|
| -rw-r--r-- | 3461 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp.testlp1_gmp_output
|
| -rw-r--r-- | 3459 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp.testlp1_output
|
| -rw-r--r-- | 175 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp1.ine
|
| -rw-r--r-- | 191 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp2.ine
|
| -rw-r--r-- | 6436 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp3.ine
|
| -rw-r--r-- | 6389 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp4.ine
|
| -rw-r--r-- | 430092 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp_big.ine
|
| -rw-r--r-- | 429917 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplelp_big_dualinfeas.ine
|
| -rw-r--r-- | 148 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplev1.ext
|
| -rw-r--r-- | 177 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplev2.ext
|
| -rw-r--r-- | 209 | root |
root |
/usr/share/doc/lib64cddlib-devel/examples/samplev3.ext
|
