cddlib

Efficient implementation of the Double Description Method

Details

Homepage:

https://people.inf.ethz.ch/fukudak/cdd_home/

License:

GPL-2.0-or-later

Maintainer:

dkwo

Built at:

2022-10-25 21:42 - 2022-10-26 00:55

Source files:

https://github.com/cddlib/cddlib/releases/download/0.94m/cddlib-0.94m.tar.gz

Installed size:

2.44 MiB - 2.63 MiB

Popularity:

No usages in 86 reports

Provided shlibs:

• libcdd.so.0
• libcddgmp.so.0

Depending on:

• glibc>=2.32_{_1}
• gmp>=5.0.1_{_1}
• musl>=1.1.24_{_7}