Pakiet: cadical (1.5.3-2)

[ Pakiet źródłowy: cadical  ]

Uproszczone narzędzie do rozwiązywania problemów spełnialności

CaDiCaL jest solwerem CDCL, który jest łatwy do zrozumienia i modyfikowania, a jednocześnie nie jest dużo wolniejszy niż inne najnowocześniejsze solwery CDCL.

Pakiet zawiera pliki binarne potrzebne do używania programu CaDiCaL jako samodzielnego narzędzia.

Inne pakiety związane z cadical

• dep: libc6 (>= 2.34)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgcc-s1 (>= 3.0) [nie armel, armhf, mipsel]

  Biblioteka wspomagająca GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [mipsel]

• dep: libstdc++6 (>= 11)

  Standardowa biblioteka GNU C++, wersja 3

Pobieranie cadical

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	309,3 KiB	1 404,0 KiB	[lista plików]
arm64	268,7 KiB	1 396,0 KiB	[lista plików]
armel	269,8 KiB	1 386,0 KiB	[lista plików]
armhf	274,0 KiB	1 002,0 KiB	[lista plików]
i386	336,9 KiB	1 582,0 KiB	[lista plików]
mips64el	306,5 KiB	1 845,0 KiB	[lista plików]
mipsel	324,0 KiB	1 827,0 KiB	[lista plików]
ppc64el	316,4 KiB	1 844,0 KiB	[lista plików]
s390x	271,4 KiB	1 432,0 KiB	[lista plików]