Paket: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1 och andra) [debports]

[ Källkod:  ]

SAT solver library

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

This package provides a shared library to link against the CryptoMiniSat library.

Andra paket besläktade med libcryptominisat5-5.11t64

• dep: libc6 (>= 2.37)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libgcc-s1 (>= 4.2)

  GCC support library

• dep: libstdc++6 (>= 13.1)

  GNU standardbibliotek v3 för C++

Hämta libcryptominisat5-5.11t64

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
sh4 (inofficiell anpassning)	5.11.21+dfsg1-1+b1	594,1 kbyte	1.305,0 kbyte	[filförteckning]