Paquet : cadical (1.7.4-1 et autres) [debports]

[ Paquet source :  ]

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.38)

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

• dep: libgcc-s4 (>= 4.1.1)

  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	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
hppa (portage non officiel)	1.7.4-1+b1	387,5 ko	1 982,0 ko	[liste des fichiers]