No Description
Uploaded | Wed Apr 16 09:00:26 2025 |
md5 checksum | 806db9a1689e906b3cc5364a71e2a25d |
arch | x86_64 |
build | hf8b0789_0 |
depends | __glibc >=2.17,<3.0.a0, cliquer >=1.22,<1.23.0a0, gmp >=6.3.0,<7.0a0, libgcc >=13, libstdcxx >=13, scip >=9.2.2,<10.0a0 |
has_prefix | True |
license | Apache-2.0 AND LGPL-3.0-or-later |
machine | x86_64 |
operatingsystem | linux |
platform | linux |
subdir | linux-64 |
target-triplet | x86_64-any-linux |
timestamp | 1744793673633 |