Package: cryptominisat (5.8.0+dfsg1-1 and others)

[ Source: cryptominisat  ]

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.

Other Packages Related to cryptominisat

• dep: libboost-program-options1.74.0 (>= 1.74.0)

  Biblioteca de opciones de programa para C++

• dep: libc6 (>= 2.29)

  Biblioteca de C de GNU: Bibliotecas compartidas
  also a virtual package provided by libc6-udeb

• dep: libcryptominisat5-5.8 (>= 5.8.0+dfsg1)

  SAT solver library

• dep: libgcc-s1 (>= 3.0) [not armel, armhf, i386, mipsel]

  Biblioteca de ayuda de GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [i386, mipsel]

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

  biblioteca estándar de C++ de GNU v3

• dep: zlib1g (>= 1:1.1.4)

  Biblioteca de compresión, ejecutables

Download cryptominisat

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	5.8.0+dfsg1-1+b3	86.0 kB	318.0 kB	[list of files]
arm64	5.8.0+dfsg1-1+b3	80.6 kB	306.0 kB	[list of files]
armel	5.8.0+dfsg1-1+b3	78.0 kB	276.0 kB	[list of files]
armhf	5.8.0+dfsg1-1+b3	80.2 kB	224.0 kB	[list of files]
i386	5.8.0+dfsg1-1+b3	90.9 kB	300.0 kB	[list of files]
mips64el	5.8.0+dfsg1-1+b3	80.6 kB	376.0 kB	[list of files]
mipsel	5.8.0+dfsg1-1+b3	82.9 kB	352.0 kB	[list of files]
ppc64el	5.8.0+dfsg1-1+b3	89.5 kB	422.0 kB	[list of files]
s390x	5.8.0+dfsg1-1+b3	81.4 kB	326.0 kB	[list of files]