cddlib-devel: general convex polyhedron library - devel

    2018-07-27 20:50           0 usr/lib/
    2018-07-27 20:49      171160 usr/lib/libcdd.dll.a
    2018-07-27 20:49      326924 usr/lib/libcddgmp.dll.a
    2018-07-27 20:49           0 usr/include/
    2018-07-27 20:49       13777 usr/include/cdd.h
    2018-07-27 20:49        4758 usr/include/cddmp.h
    2018-07-27 20:49        4941 usr/include/cddmp_f.h
    2018-07-27 20:49       11013 usr/include/cddtypes.h
    2018-07-27 20:49       11329 usr/include/cddtypes_f.h
    2018-07-27 20:49       14511 usr/include/cdd_f.h
    2018-07-27 20:49        1373 usr/include/setoper.h
    2018-07-27 20:49         609 usr/include/splitmix64.h