Paket: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1 ve diğerleri)

[ Kaynak: 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.

libcryptominisat5-5.11t64 ile İlgili Diğer Paketler

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC support library

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

  GNU Standard C++ Library v3

libcryptominisat5-5.11t64 indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	5.11.21+dfsg1-1+b1	491,8 kB	1.305,0 kB	[dosya listesi]