Paket: libcryptominisat5-dev (5.11.21+dfsg1-1 ve diğerleri) [debports]

libcryptominisat5-dev için bağlantılar

Debian Kaynakları:

Hata Raporları

Kaynak Paketini İndir:

Bulunamadı

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [www.msoos.org]

Benzer paketler:

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.

libcryptominisat5-dev ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

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

SAT solver library

libcryptominisat5-dev indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
x32 (resmi olmayan port)	5.11.21+dfsg1-1+b1	18,6 kB	87,0 kB	[dosya listesi]