Package: libcryptominisat5-dev (5.11.21+dfsg1-1) [debports]

Links for libcryptominisat5-dev

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [www.msoos.org]

Similar packages:

libdislocker0.7
fp-units-win-db
libosmomtp0t64
disktype
librte-metrics23
disk-filltest
php-nrk-predis
libclhep2.1t64
libgnustep-corebase-dev
libircclient-dev
golang-github-bmatsuo-lmdb-go-dev

file di sviluppo per il risolutore SAT CryptoMiniSat

CryptoMiniSat è un risolutore SAT moderno, con thread multipli e semplificante.

Questo pacchetto fornisce file header C++ per interfacciarsi con CryptoMiniSat. Vedere https://github.com/msoos/cryptominisat#library-usage per alcuni esempi. Questo pacchetto include anche l'header sperimentale cryptominisat_c.h per interfacciarsi con CryptoMiniSat da C.

Other Packages Related to libcryptominisat5-dev

depends

recommends

suggests

enhances

dep: libcryptominisat5-5.11t64 (= 5.11.21+dfsg1-1)

libreria per risolutore SAT

Download libcryptominisat5-dev

Download for all available architectures
Architecture	Package Size	Installed Size	Files
alpha (unofficial port)	18.3 kB	86.0 kB	[list of files]