Package: libcryptominisat5-5.11 (5.11.4+dfsg1-3) [debports]

[ Source:  ]

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.11

• dep: libc6 (>= 2.34)

  GNU C könyvtár: megosztott könyvtárak
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 4.2)

  GCC támogató programkönyvtár

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

  GNU Standard C++ Library v3

Download libcryptominisat5-5.11

Download for all available architectures

Architecture	Package Size	Installed Size	Files
riscv64 (unofficial port)	526.7 kB	1,139.0 kB	[list of files]