Paket: libcryptominisat5-dev (5.11.15+dfsg1-1.1)

Links für libcryptominisat5-dev

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]

development files for the CryptoMiniSat SAT solver

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

This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.

Markierungen: Software-Entwicklung: Bibliotheken, Rolle: Entwicklungs-Bibliothek

Andere Pakete mit Bezug zu libcryptominisat5-dev

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libcryptominisat5-5.11t64 (= 5.11.15+dfsg1-1.1)

SAT solver library

libcryptominisat5-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	18,2 kB	86,0 kB	[Liste der Dateien]
amd64	18,2 kB	86,0 kB	[Liste der Dateien]
arm64	18,2 kB	86,0 kB	[Liste der Dateien]
armel	18,2 kB	86,0 kB	[Liste der Dateien]
armhf	18,2 kB	86,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	18,2 kB	86,0 kB	[Liste der Dateien]
i386	18,2 kB	86,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	18,2 kB	86,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	18,2 kB	86,0 kB	[Liste der Dateien]
mips64el	18,2 kB	86,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	18,2 kB	86,0 kB	[Liste der Dateien]
ppc64el	18,2 kB	86,0 kB	[Liste der Dateien]
riscv64	18,2 kB	86,0 kB	[Liste der Dateien]
s390x	18,2 kB	86,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	18,2 kB	86,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	18,2 kB	86,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	18,2 kB	86,0 kB	[Liste der Dateien]