1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
Source: cryptominisat
Section: math
Priority: optional
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Julian Rüth <julian.rueth@fsfe.org>, Julien Puydt <jpuydt@debian.org>
Build-Depends: cmake, debhelper-compat (=13), dh-python, help2man, python3-dev, libboost-program-options-dev, libm4ri-dev, zlib1g-dev
Standards-Version: 4.5.0
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.8
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}, ${shlibs:Depends}, ${python3: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: ${misc:Depends}, libcryptominisat5-5.8 (= ${binary:Version})
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.
|
