Paket: cryptominisat (5.11.21+dfsg1-1 ve diğerleri)

[ Kaynak: 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 ile İlgili Diğer Paketler

• dep: libboost-program-options1.83.0 (>= 1.83.0) [ia64]

  program options library for C++

• dep: libc6 (>= 2.38) [alpha, ia64, sh4 değil]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.37) [ia64]

  GNU C Library: Shared libraries
  ayrıca şunun tarafından sağlanan bir sanal paket libc6.1-udeb

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libcryptominisat5-5.11t64 (>= 5.11.15+dfsg1) [ia64]

  SAT solver library

  dep: libcryptominisat5-5.11t64 (>= 5.11.21+dfsg1) [ia64 değil]

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, mips64el, ppc64, ppc64el, s390x, x32]

  GCC support library

  dep: libgcc-s1 (>= 3.4) [alpha, riscv64, sh4, sparc64]

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

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

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  GCC support library

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  GCC support library

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

  GNU Standard C++ Library v3

• dep: libunwind8 [ia64]

  library to determine the call-chain of a program - runtime

• dep: zlib1g (>= 1:1.1.4) [armel, armhf, hppa, m68k, sh4 değil]

  compression library - runtime

  dep: zlib1g (>= 1:1.2.3.3) [armel, armhf, hppa, m68k, sh4]

cryptominisat indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	5.11.21+dfsg1-1+b3	82,0 kB	355,0 kB	[dosya listesi]
amd64	5.11.21+dfsg1-1+b3	89,2 kB	305,0 kB	[dosya listesi]
arm64	5.11.21+dfsg1-1+b3	79,1 kB	289,0 kB	[dosya listesi]
armel	5.11.21+dfsg1-1+b3	78,7 kB	288,0 kB	[dosya listesi]
armhf	5.11.21+dfsg1-1+b3	81,3 kB	224,0 kB	[dosya listesi]
hppa (resmi olmayan port)	5.11.21+dfsg1-1+b3	87,6 kB	315,0 kB	[dosya listesi]
i386	5.11.21+dfsg1-1+b3	95,5 kB	312,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	5.11.15+dfsg1-1.1	88,3 kB	495,0 kB	[dosya listesi]
m68k (resmi olmayan port)	5.11.21+dfsg1-1+b3	84,0 kB	288,0 kB	[dosya listesi]
mips64el	5.11.21+dfsg1-1+b3	82,6 kB	371,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	5.11.21+dfsg1-1+b3	89,7 kB	417,0 kB	[dosya listesi]
ppc64el	5.11.21+dfsg1-1+b3	89,3 kB	353,0 kB	[dosya listesi]
riscv64	5.11.21+dfsg1-1+b3	87,3 kB	269,0 kB	[dosya listesi]
s390x	5.11.21+dfsg1-1+b3	85,8 kB	309,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	5.11.21+dfsg1-1+b3	100,2 kB	289,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	5.11.21+dfsg1-1+b3	72,3 kB	1.062,0 kB	[dosya listesi]
x32 (resmi olmayan port)	5.11.21+dfsg1-1+b3	90,6 kB	288,0 kB	[dosya listesi]