Paket: cryptominisat (5.11.21+dfsg1-1)

Links für cryptominisat

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]

SAT solver command line interface

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

This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.

Andere Pakete mit Bezug zu cryptominisat

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: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1)

SAT solver library
dep: libgcc-s1 (>= 3.0) [nicht armel, armhf, i386]

GCC Support-Bibliothek

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)
dep: zlib1g (>= 1:1.1.4) [nicht armel, armhf]

Kompressions-Bibliothek - Laufzeit

dep: zlib1g (>= 1:1.2.3.3) [armel, armhf]

cryptominisat herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
amd64	87,7 kB	296,0 kB	[Liste der Dateien]
arm64	78,0 kB	288,0 kB	[Liste der Dateien]
armel	77,1 kB	259,0 kB	[Liste der Dateien]
armhf	79,4 kB	203,0 kB	[Liste der Dateien]
i386	93,8 kB	303,0 kB	[Liste der Dateien]
mips64el	81,1 kB	371,0 kB	[Liste der Dateien]
ppc64el	88,4 kB	352,0 kB	[Liste der Dateien]
s390x	84,3 kB	304,0 kB	[Liste der Dateien]