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

[ Källkod: cryptominisat  ]

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.34)

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

• dep: libgcc-s1 (>= 3.0)

  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
arm64	5.11.21+dfsg1-1+b1	450,2 kbyte	1.304,0 kbyte	[filförteckning]