Пакет: cryptominisat (5.8.0+dfsg1-1 и други)

[ Източник: 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.

Други пакети, свързани с cryptominisat

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

  program options library for C++

• dep: libc6 (>= 2.29)

  GNU C Library: Shared libraries
  също и виртуален пакет, предлаган от libc6-udeb

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

  SAT solver library

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

  GCC support library

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

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

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

  GNU Standard C++ Library v3

• dep: zlib1g (>= 1:1.1.4)

  compression library - runtime

Изтегляне на cryptominisat

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	5.8.0+dfsg1-1+b3	86,0 кБ	318,0 кБ	[списък на файловете]
arm64	5.8.0+dfsg1-1+b3	80,6 кБ	306,0 кБ	[списък на файловете]
armel	5.8.0+dfsg1-1+b3	78,0 кБ	276,0 кБ	[списък на файловете]
armhf	5.8.0+dfsg1-1+b3	80,2 кБ	224,0 кБ	[списък на файловете]
i386	5.8.0+dfsg1-1+b3	90,9 кБ	300,0 кБ	[списък на файловете]
mips64el	5.8.0+dfsg1-1+b3	80,6 кБ	376,0 кБ	[списък на файловете]
mipsel	5.8.0+dfsg1-1+b3	82,9 кБ	352,0 кБ	[списък на файловете]
ppc64el	5.8.0+dfsg1-1+b3	89,5 кБ	422,0 кБ	[списък на файловете]
s390x	5.8.0+dfsg1-1+b3	81,4 кБ	326,0 кБ	[списък на файловете]