Package: libcryptominisat5-5.11t64
Source: cryptominisat
Version: 5.11.21+dfsg1-2
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 1048
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libstdc++6 (>= 13.1)
Breaks: libcryptominisat5-5.11 (<< 5.11.21+dfsg1-2)
Replaces: libcryptominisat5-5.11
Provides: libcryptominisat5-5.11 (= 5.11.21+dfsg1-2)
Section: libs
Priority: optional
Multi-Arch: same
Homepage: https://www.msoos.org/
Description: SAT solver library
 CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
 .
 This package provides a shared library to link against the CryptoMiniSat
 library.
