Source: cryptominisat Section: math Priority: optional Maintainer: Debian Science Team Uploaders: Julian RĂ¼th , Julien Puydt Build-Depends: cmake, debhelper-compat (=13), dh-python, help2man, libboost-program-options-dev, libm4ri-dev, pybuild-plugin-pyproject, python3-dev, python3-setuptools, zlib1g-dev Standards-Version: 4.6.1 Homepage: https://www.msoos.org/ Vcs-Git: https://salsa.debian.org/science-team/cryptominisat.git Vcs-Browser: https://salsa.debian.org/science-team/cryptominisat Package: libcryptominisat5-5.11 Architecture: any Multi-Arch: same Section: libs Depends: ${misc:Depends}, ${shlibs:Depends} 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. Package: cryptominisat Architecture: any Multi-Arch: foreign Depends: ${misc:Depends}, ${shlibs:Depends} Description: SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable. Package: python3-cryptominisat Architecture: any Multi-Arch: same Section: python Pre-Depends: ${misc:Pre-Depends} Depends: ${misc:Depends}, ${python3:Depends}, ${shlibs:Depends} Description: Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. Package: libcryptominisat5-dev Architecture: any Multi-Arch: same Section: libdevel Pre-Depends: ${misc:Pre-Depends} Depends: libcryptominisat5-5.11 (= ${binary:Version}), ${misc:Depends} Description: development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.