Package: libcryptominisat5-5.11t64 (5.11.21+dfsg1-1 and others)

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

Other Packages Related to libcryptominisat5-5.11t64

• dep: libc6 (>= 2.34)

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC 기능 지원 라이브러리

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

  GNU 표준 C++ 라이브러리 v3

Download libcryptominisat5-5.11t64

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
s390x	5.11.21+dfsg1-1+b2	536.6 kB	1,500.0 kB	[list of files]