Paket: cryptominisat (5.11.4+dfsg1-2 och andra)

[ Källkod: 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.

Andra paket besläktade med cryptominisat

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

  program options library for C++

• dep: libc6 (>= 2.34)

  GNU C-bibliotek: Delade bibliotek
  också ett virtuellt paket som tillhandahålls av libc6-udeb

• dep: libcryptominisat5-5.11 (>= 5.11.4+dfsg1)

  SAT solver library

• dep: libgcc-s1 (>= 3.0)

  GCC stödbibliotek

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

  GNU standardbibliotek v3 för C++

• dep: zlib1g (>= 1:1.1.4)

  Kompressionsbibliotek - körtidspaket

Hämta cryptominisat

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
s390x	5.11.4+dfsg1-2+b1	69,2 kbyte	296,0 kbyte	[filförteckning]