Package: cadical (2.1.3-3)

[ Source: cadical  ]

risolutore semplificato di soddisfacibilità

CaDiCaL è un risolutore CDCL che è facile da capire e cambiare, e allo stesso tempo non è molto più lento di altri risolutori CDCL all'avanguardia.

Questo pacchetto contiene i binari necessari per usare CaDiCaL come strumento autonomo.

Other Packages Related to cadical

• dep: libc6 (>= 2.38)

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0) [not armhf, riscv64]

  libreria di supporto a GCC

  dep: libgcc-s1 (>= 3.4) [riscv64]

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

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

  libreria GNU Standard C++, versione 3

Download cadical

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	456.1 kB	2,264.0 kB	[list of files]
arm64	399.9 kB	2,102.0 kB	[list of files]
armhf	391.3 kB	1,516.0 kB	[list of files]
i386	480.3 kB	2,466.0 kB	[list of files]
ppc64el	463.9 kB	2,678.0 kB	[list of files]
riscv64	457.7 kB	1,722.0 kB	[list of files]
s390x	465.9 kB	2,562.0 kB	[list of files]