libcryptominisat5-5.11 - 5.11.4+dfsg1-2+b1 main

CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
.
This package provides a shared library to link against the CryptoMiniSat
library.

Priority: optional
Section: libs
Suites: crimson 
Maintainer: Debian Science Team <debian-science-maintainers [꩜] lists.alioth.debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 1.3 MB
Architectures: amd64  arm64 

 

Versions

5.11.4+dfsg1-2+b1 arm64 5.11.4+dfsg1-2+b1 amd64