gistfile1.txt

/nix/store/x9a69v4x0ds545xqi5fviqglxl7pc23f-cddlib-0.94l
├── bin
│   ├── adjacency
│   ├── adjacency_gmp
│   ├── allfaces
│   ├── allfaces_gmp
│   ├── cddexec
│   ├── cddexec_gmp
│   ├── fourier
│   ├── fourier_gmp
│   ├── lcdd
│   ├── lcdd_gmp
│   ├── projection
│   ├── projection_gmp
│   ├── redcheck
│   ├── redcheck_gmp
│   ├── scdd
│   ├── scdd_gmp
│   ├── testcdd1
│   ├── testcdd1_gmp
│   ├── testcdd2
│   ├── testcdd2_gmp
│   ├── testlp1
│   ├── testlp1_gmp
│   ├── testlp2
│   ├── testlp2_gmp
│   ├── testlp3
│   ├── testlp3_gmp
│   ├── testshoot
│   └── testshoot_gmp
├── include
│   └── cddlib
│       ├── cdd_f.h
│       ├── cdd.h
│       ├── cddmp_f.h
│       ├── cddmp.h
│       ├── cddtypes_f.h
│       ├── cddtypes.h
│       ├── setoper.h
│       └── splitmix64.h
├── lib
│   ├── libcddgmp.la
│   ├── libcddgmp.so -> libcddgmp.so.0.0.0
│   ├── libcddgmp.so.0 -> libcddgmp.so.0.0.0
│   ├── libcddgmp.so.0.0.0
│   ├── libcdd.la
│   ├── libcdd.so -> libcdd.so.0.1.1
│   ├── libcdd.so.0 -> libcdd.so.0.1.1
│   ├── libcdd.so.0.1.1
│   └── pkgconfig
│       └── cddlib.pc
└── share
    └── doc
        └── cddlib
            ├── cddlibman.dvi
            ├── cddlibman.pdf
            ├── cddlibman.ps
            ├── examples
            │   ├── project1.ine
            │   ├── project1res.ine
            │   ├── project2.ine
            │   ├── project2res.ine
            │   ├── redcheck.ext
            │   ├── sampleh1.ine
            │   ├── sampleh2.ine
            │   ├── sampleh3.ine
            │   ├── sampleh4.ine
            │   ├── sampleh5.ine
            │   ├── sampleh6.ine
            │   ├── sampleh7.ine
            │   ├── sampleh8.ine
            │   ├── sample.ine
            │   ├── samplelp1.ine
            │   ├── samplelp2.ine
            │   ├── samplelp3.ine
            │   ├── samplelp4.ine
            │   ├── samplelp_big_dualinfeas.ine
            │   ├── samplelp_big.ine
            │   ├── samplelp.ine
            │   ├── samplelp.testlp1_gmp_output
            │   ├── samplelp.testlp1_output
            │   ├── samplev1.ext
            │   ├── samplev2.ext
            │   └── samplev3.ext
            ├── examples-ext
            │   ├── ccc4.ext
            │   ├── ccc5.ext
            │   ├── ccc6.ext
            │   ├── ccp4.ext
            │   ├── ccp5.ext
            │   ├── ccp6.ext
            │   ├── cyclic10-4.ext
            │   ├── cyclic12-6.ext
            │   ├── cyclic14-8.ext
            │   ├── cyclic16-10.ext
            │   ├── irbox200-4.ext
            │   ├── irbox20-4.ext
            │   ├── prodst62.ext
            │   ├── reg24-5.ext
            │   └── reg600-5.ext
            ├── examples-ine
            │   ├── allzero.ine
            │   ├── cross10.ine
            │   ├── cross12.ine
            │   ├── cross6.ine
            │   ├── cross8.ine
            │   ├── cube10.ine
            │   ├── cube12.ine
            │   ├── cube6.ine
            │   ├── cube8.ine
            │   ├── cubocta.ine
            │   ├── ex1.ine
            │   ├── infeas.ine
            │   ├── integralpoints.ine
            │   ├── kkd18_4.ine
            │   ├── kkd27_5.ine
            │   ├── kkd38_6.ine
            │   ├── nonfull.ine
            │   ├── origin.ine
            │   ├── reg24-5.ine
            │   ├── sampleh1.ine
            │   ├── sampleh2.ine
            │   ├── sampleh3.ine
            │   ├── sampleh4.ine
            │   ├── sampleh5.ine
            │   ├── sampleh6.ine
            │   ├── sampleh7.ine
            │   ├── sampleh8.ine
            │   ├── samplelp1.ine
            │   ├── samplelp2.ine
            │   ├── samplelp3.ine
            │   ├── samplelp4.ine
            │   └── samplelp.ine
            └── examples-ine3d
                ├── cube3.ine
                ├── cubocta.ine
                ├── dodeca.ine
                ├── grcubocta.ine
                ├── hexocta.ine
                ├── icododeca.ine
                ├── rcubocta.ine
                └── rhomtria.ine

12 directories, 129 files