[ trixie ] [ sid ]

[ Quellcode: cryptominisat ]

Paket: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1)

Links für libcryptominisat5-5.11t64

Debian-Ressourcen:

Quellcode-Paket cryptominisat herunterladen:

Betreuer:

Debian Science Team (QS-Seite, E-Mail-Archiv)
Julian Rüth (QS-Seite)
Julien Puydt (QS-Seite)

Externe Ressourcen:

Homepage [www.msoos.org]

Ähnliche Pakete:

SAT solver library

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.

This package provides a shared library to link against the CryptoMiniSat library.

Andere Pakete mit Bezug zu libcryptominisat5-5.11t64

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.34)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libgcc-s1 (>= 3.0) [amd64, arm64, s390x]

GCC Support-Bibliothek

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

dep: libgcc-s1 (>= 3.4.4) [ppc64el]

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

dep: libgcc-s1 (>= 4.2) [i386]
dep: libstdc++6 (>= 13.1)

GNU-Implementierung der Standard-C++-Bibliothek (Version 3)

libcryptominisat5-5.11t64 herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	491,7 kB	1.304,0 kB	[Liste der Dateien]
arm64	449,9 kB	1.303,0 kB	[Liste der Dateien]
armel	439,8 kB	1.251,0 kB	[Liste der Dateien]
armhf	456,9 kB	923,0 kB	[Liste der Dateien]
i386	517,6 kB	1.351,0 kB	[Liste der Dateien]
mips64el	463,8 kB	1.638,0 kB	[Liste der Dateien]
ppc64el	531,3 kB	1.688,0 kB	[Liste der Dateien]
s390x	526,6 kB	1.491,0 kB	[Liste der Dateien]