[ bookworm ] [ sid ]

[ Quellcode: cryptominisat ]

Paket: libcryptominisat5-5.11 (5.11.4+dfsg1-2 und andere)

Links für libcryptominisat5-5.11

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.

Markierungen: Rolle: Laufzeit-Bibliothek

Andere Pakete mit Bezug zu libcryptominisat5-5.11

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, s390x]

GCC Support-Bibliothek

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

dep: libgcc-s1 (>= 4.2) [nicht amd64, armel, armhf, s390x]
dep: libstdc++6 (>= 11)

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

libcryptominisat5-5.11 herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	5.11.4+dfsg1-2+b1	490,3 kB	1.290,0 kB	[Liste der Dateien]
arm64	5.11.4+dfsg1-2+b1	440,4 kB	1.237,0 kB	[Liste der Dateien]
armel	5.11.4+dfsg1-2+b1	432,1 kB	1.237,0 kB	[Liste der Dateien]
armhf	5.11.4+dfsg1-2+b1	450,2 kB	917,0 kB	[Liste der Dateien]
i386	5.11.4+dfsg1-2+b1	515,8 kB	1.341,0 kB	[Liste der Dateien]
mips64el	5.11.4+dfsg1-2+b1	462,9 kB	1.637,0 kB	[Liste der Dateien]
mipsel	5.11.4+dfsg1-2+b1	477,0 kB	1.617,0 kB	[Liste der Dateien]
ppc64el	5.11.4+dfsg1-2+b1	529,9 kB	1.686,0 kB	[Liste der Dateien]
s390x	5.11.4+dfsg1-2+b1	448,8 kB	1.385,0 kB	[Liste der Dateien]