Paquet : cadical (1.7.4-1)

[ Paquet source : cadical  ]

Simplified Satisfiability Solver

CaDiCaL is a CDCL solver that is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.

This package contains binaries needed to use CaDiCaL as a stand-alone tool.

Autres paquets associés à cadical

• dep: libc6 (>= 2.34) [non alpha, ia64, sh4]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.37) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

  dep: libc6.1 (>= 2.37) [ia64]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, i386, mips64el, ppc64, ppc64el, s390x, x32]

  bibliothèque de prise en charge de GCC

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

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

  dep: libgcc-s1 (>= 4.2) [ia64, sh4]

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  bibliothèque de prise en charge de GCC

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

  bibliothèque standard C++ de GNU v3

• dep: libunwind8 [ia64]

  bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

Télécharger cadical

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	342,4 ko	1 962,0 ko	[liste des fichiers]
amd64	377,7 ko	1 780,0 ko	[liste des fichiers]
arm64	330,6 ko	1 716,0 ko	[liste des fichiers]
armel	328,8 ko	1 648,0 ko	[liste des fichiers]
armhf	334,4 ko	1 220,0 ko	[liste des fichiers]
hppa (portage non officiel)	380,6 ko	1 973,0 ko	[liste des fichiers]
i386	412,0 ko	1 990,0 ko	[liste des fichiers]
ia64 (portage non officiel)	453,6 ko	3 848,0 ko	[liste des fichiers]
m68k (portage non officiel)	384,5 ko	2 018,0 ko	[liste des fichiers]
mips64el	374,0 ko	2 316,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	378,7 ko	2 358,0 ko	[liste des fichiers]
ppc64el	384,9 ko	2 228,0 ko	[liste des fichiers]
riscv64	389,5 ko	1 496,0 ko	[liste des fichiers]
s390x	382,9 ko	1 968,0 ko	[liste des fichiers]
sh4 (portage non officiel)	439,9 ko	1 699,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	309,7 ko	2 094,0 ko	[liste des fichiers]
x32 (portage non officiel)	383,0 ko	1 726,0 ko	[liste des fichiers]