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)

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

• dep: libgcc-s1 (>= 3.0)

  bibliothèque de prise en charge de GCC

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

  bibliothèque standard C++ de GNU v3

Télécharger cadical

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64el	384,9 ko	2 228,0 ko	[liste des fichiers]