Base Package:
mingw-w64-cddlib

Description:
An efficient implementation of the Double Description Method (mingw-w64)
Group(s):
-
Repo:
ucrt64
Homepage:
https://people.inf.ethz.ch/~fukudak/cdd_home/
License(s):
GPL-2.0-or-later
Version:
0.94m-1
GIT Version:
0.94m-1
External:
Anitya
cddlib
Arch Linux
0.94m
Cygwin
094m | cddlib-094m-1-src.tar.xz
Gentoo
094m-r2
Repology
cddlib

Installation:
pacman -S mingw-w64-ucrt-x86_64-cddlib
File:
https://mirror.msys2.org/mingw/ucrt64/mingw-w64-ucrt-x86_64-cddlib-0.94m-1-any.pkg.tar.zst
SHA256:
32cbbc6cf36a84d167a832a6507ef397b5dc34b01bda10f71c96bd8dd845a8f5
Last Packager:
CI (msys2/msys2-autobuild/8d08599c/8620215043)
Build Date:
2024-04-09 18:05:59
Package Size:
0.89 MB
Installed Size:
5.05 MB
Source-Only Tarball:
https://mirror.msys2.org/mingw/sources/mingw-w64-cddlib-0.94m-1.src.tar.zst

Dependencies:
Optional Dependencies:
-
Build Dependencies:
Check Dependencies:
-
Provides:
-
Conflicts:
-
Replaces:
-

Provided By:
-
Required By:
-

Files:
/ucrt64/bin/adjacency.exe
/ucrt64/bin/adjacency_gmp.exe
/ucrt64/bin/allfaces.exe
/ucrt64/bin/allfaces_gmp.exe
/ucrt64/bin/cddexec.exe
/ucrt64/bin/cddexec_gmp.exe
/ucrt64/bin/fourier.exe
/ucrt64/bin/fourier_gmp.exe
/ucrt64/bin/lcdd.exe
/ucrt64/bin/lcdd_gmp.exe
/ucrt64/bin/libcdd-0.dll
/ucrt64/bin/libcddgmp-0.dll
/ucrt64/bin/projection.exe
/ucrt64/bin/projection_gmp.exe
/ucrt64/bin/redcheck.exe
/ucrt64/bin/redcheck_gmp.exe
/ucrt64/bin/scdd.exe
/ucrt64/bin/scdd_gmp.exe
/ucrt64/bin/testcdd1.exe
/ucrt64/bin/testcdd1_gmp.exe
/ucrt64/bin/testcdd2.exe
/ucrt64/bin/testcdd2_gmp.exe
/ucrt64/bin/testlp1.exe
/ucrt64/bin/testlp1_gmp.exe
/ucrt64/bin/testlp2.exe
/ucrt64/bin/testlp2_gmp.exe
/ucrt64/bin/testlp3.exe
/ucrt64/bin/testlp3_gmp.exe
/ucrt64/bin/testshoot.exe
/ucrt64/bin/testshoot_gmp.exe
/ucrt64/include/cddlib/cdd.h
/ucrt64/include/cddlib/cdd_f.h
/ucrt64/include/cddlib/cddmp.h
/ucrt64/include/cddlib/cddmp_f.h
/ucrt64/include/cddlib/cddtypes.h
/ucrt64/include/cddlib/cddtypes_f.h
/ucrt64/include/cddlib/setoper.h
/ucrt64/include/cddlib/splitmix64.h
/ucrt64/lib/libcdd.a
/ucrt64/lib/libcdd.dll.a
/ucrt64/lib/libcddgmp.a
/ucrt64/lib/libcddgmp.dll.a
/ucrt64/lib/pkgconfig/cddlib.pc
/ucrt64/share/doc/cddlib/cddlibman.dvi
/ucrt64/share/doc/cddlib/cddlibman.pdf
/ucrt64/share/doc/cddlib/cddlibman.ps
/ucrt64/share/doc/cddlib/examples-ext/ccc4.ext
/ucrt64/share/doc/cddlib/examples-ext/ccc5.ext
/ucrt64/share/doc/cddlib/examples-ext/ccc6.ext
/ucrt64/share/doc/cddlib/examples-ext/ccp4.ext
/ucrt64/share/doc/cddlib/examples-ext/ccp5.ext
/ucrt64/share/doc/cddlib/examples-ext/ccp6.ext
/ucrt64/share/doc/cddlib/examples-ext/cyclic10-4.ext
/ucrt64/share/doc/cddlib/examples-ext/cyclic12-6.ext
/ucrt64/share/doc/cddlib/examples-ext/cyclic14-8.ext
/ucrt64/share/doc/cddlib/examples-ext/cyclic16-10.ext
/ucrt64/share/doc/cddlib/examples-ext/irbox20-4.ext
/ucrt64/share/doc/cddlib/examples-ext/irbox200-4.ext
/ucrt64/share/doc/cddlib/examples-ext/prodst62.ext
/ucrt64/share/doc/cddlib/examples-ext/reg24-5.ext
/ucrt64/share/doc/cddlib/examples-ext/reg600-5.ext
/ucrt64/share/doc/cddlib/examples-ine/allzero.ine
/ucrt64/share/doc/cddlib/examples-ine/cross10.ine
/ucrt64/share/doc/cddlib/examples-ine/cross12.ine
/ucrt64/share/doc/cddlib/examples-ine/cross6.ine
/ucrt64/share/doc/cddlib/examples-ine/cross8.ine
/ucrt64/share/doc/cddlib/examples-ine/cube10.ine
/ucrt64/share/doc/cddlib/examples-ine/cube12.ine
/ucrt64/share/doc/cddlib/examples-ine/cube6.ine
/ucrt64/share/doc/cddlib/examples-ine/cube8.ine
/ucrt64/share/doc/cddlib/examples-ine/cubocta.ine
/ucrt64/share/doc/cddlib/examples-ine/ex1.ine
/ucrt64/share/doc/cddlib/examples-ine/infeas.ine
/ucrt64/share/doc/cddlib/examples-ine/integralpoints.ine
/ucrt64/share/doc/cddlib/examples-ine/kkd18_4.ine
/ucrt64/share/doc/cddlib/examples-ine/kkd27_5.ine
/ucrt64/share/doc/cddlib/examples-ine/kkd38_6.ine
/ucrt64/share/doc/cddlib/examples-ine/nonfull.ine
/ucrt64/share/doc/cddlib/examples-ine/origin.ine
/ucrt64/share/doc/cddlib/examples-ine/reg24-5.ine
/ucrt64/share/doc/cddlib/examples-ine/sampleh1.ine
/ucrt64/share/doc/cddlib/examples-ine/sampleh2.ine
/ucrt64/share/doc/cddlib/examples-ine/sampleh3.ine
/ucrt64/share/doc/cddlib/examples-ine/sampleh4.ine
/ucrt64/share/doc/cddlib/examples-ine/sampleh5.ine
/ucrt64/share/doc/cddlib/examples-ine/sampleh6.ine
/ucrt64/share/doc/cddlib/examples-ine/sampleh7.ine
/ucrt64/share/doc/cddlib/examples-ine/sampleh8.ine
/ucrt64/share/doc/cddlib/examples-ine/samplelp.ine
/ucrt64/share/doc/cddlib/examples-ine/samplelp1.ine
/ucrt64/share/doc/cddlib/examples-ine/samplelp2.ine
/ucrt64/share/doc/cddlib/examples-ine/samplelp3.ine
/ucrt64/share/doc/cddlib/examples-ine/samplelp4.ine
/ucrt64/share/doc/cddlib/examples-ine3d/cube3.ine
/ucrt64/share/doc/cddlib/examples-ine3d/cubocta.ine
/ucrt64/share/doc/cddlib/examples-ine3d/dodeca.ine
/ucrt64/share/doc/cddlib/examples-ine3d/grcubocta.ine
/ucrt64/share/doc/cddlib/examples-ine3d/hexocta.ine
/ucrt64/share/doc/cddlib/examples-ine3d/icododeca.ine
/ucrt64/share/doc/cddlib/examples-ine3d/rcubocta.ine
/ucrt64/share/doc/cddlib/examples-ine3d/rhomtria.ine
/ucrt64/share/doc/cddlib/examples/bug45.ine
/ucrt64/share/doc/cddlib/examples/bug45res.ine
/ucrt64/share/doc/cddlib/examples/project1.ine
/ucrt64/share/doc/cddlib/examples/project1res.ine
/ucrt64/share/doc/cddlib/examples/project2.ine
/ucrt64/share/doc/cddlib/examples/project2res.ine
/ucrt64/share/doc/cddlib/examples/redcheck.ext
/ucrt64/share/doc/cddlib/examples/sample.ine
/ucrt64/share/doc/cddlib/examples/sampleh1.ine
/ucrt64/share/doc/cddlib/examples/sampleh2.ine
/ucrt64/share/doc/cddlib/examples/sampleh3.ine
/ucrt64/share/doc/cddlib/examples/sampleh4.ine
/ucrt64/share/doc/cddlib/examples/sampleh5.ine
/ucrt64/share/doc/cddlib/examples/sampleh6.ine
/ucrt64/share/doc/cddlib/examples/sampleh7.ine
/ucrt64/share/doc/cddlib/examples/sampleh8.ine
/ucrt64/share/doc/cddlib/examples/samplelp.ine
/ucrt64/share/doc/cddlib/examples/samplelp.testlp1_gmp_output
/ucrt64/share/doc/cddlib/examples/samplelp.testlp1_output
/ucrt64/share/doc/cddlib/examples/samplelp1.ine
/ucrt64/share/doc/cddlib/examples/samplelp2.ine
/ucrt64/share/doc/cddlib/examples/samplelp3.ine
/ucrt64/share/doc/cddlib/examples/samplelp4.ine
/ucrt64/share/doc/cddlib/examples/samplelp_big.ine
/ucrt64/share/doc/cddlib/examples/samplelp_big_dualinfeas.ine
/ucrt64/share/doc/cddlib/examples/samplev1.ext
/ucrt64/share/doc/cddlib/examples/samplev2.ext
/ucrt64/share/doc/cddlib/examples/samplev3.ext
/ucrt64/share/licenses/cddlib/COPYING
Last Update: 2024-07-21 22:14:43 [Request update]