Tarkennettu haku
[  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: cryptominisat  ]

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

Links for libcryptominisat5-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti cryptominisat:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Tagit: Software Development: Kirjastot, Role: Development Library

Muut pakettiin libcryptominisat5-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libcryptominisat5-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 18.2 kt86.0 kt [tiedostoluettelo]
amd64 18.2 kt86.0 kt [tiedostoluettelo]
arm64 18.2 kt86.0 kt [tiedostoluettelo]
armel 18.2 kt86.0 kt [tiedostoluettelo]
armhf 18.2 kt86.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 18.2 kt86.0 kt [tiedostoluettelo]
i386 18.2 kt86.0 kt [tiedostoluettelo]
ia64 (epävirallinen siirros) 18.2 kt86.0 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 18.2 kt86.0 kt [tiedostoluettelo]
mips64el 18.2 kt86.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 18.2 kt86.0 kt [tiedostoluettelo]
ppc64el 18.2 kt86.0 kt [tiedostoluettelo]
riscv64 18.2 kt86.0 kt [tiedostoluettelo]
s390x 18.2 kt86.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 18.2 kt86.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 18.2 kt86.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 18.2 kt86.0 kt [tiedostoluettelo]