[ Source: cadical ]
Package: cadical (1.7.4-1)
Links for cadical
Debian Resources:
Download Source Package cadical:
Maintainers:
External Resources:
- Homepage [fmv.jku.at]
Similar packages:
Forenklet tilfredsstillelsesløser
CaDiCaL er en CDCL-løser, der er nemt at forstå og ændre, samtidig med at den ikke er langsomere end andre moderne CDCL-løsere.
Denne pakke indeholder binære filer krævet for at bruge CaDiCaL som et uafhængigt værktøj.
Other Packages Related to cadical
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgcc-s1 (>= 3.0) [not armel, armhf]
- GCC støttebibliotek
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libstdc++6 (>= 13.1)
- GNU Standard C++ bibliotek v3
Download cadical
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 377.7 kB | 1,780.0 kB | [list of files] |
arm64 | 330.6 kB | 1,716.0 kB | [list of files] |
armel | 328.8 kB | 1,648.0 kB | [list of files] |
armhf | 334.4 kB | 1,220.0 kB | [list of files] |
i386 | 412.0 kB | 1,990.0 kB | [list of files] |
mips64el | 374.0 kB | 2,316.0 kB | [list of files] |
ppc64el | 384.9 kB | 2,228.0 kB | [list of files] |
s390x | 382.9 kB | 1,968.0 kB | [list of files] |