Paketti: cryptominisat (5.8.0+dfsg1-1 ja muut)

[ 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.

Muut pakettiin cryptominisat liittyvät paketit

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

  program options library for C++

• dep: libc6 (>= 2.29)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

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

  SAT solver library

• dep: libgcc-s1 (>= 3.0)

  GCC:n apukirjasto

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

  GNU standardi C++ -kirjasto, versio 3

• dep: zlib1g (>= 1:1.1.4)

  pakkauskirjaston ajonaikaistiedostot

Imuroi cryptominisat

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
s390x	5.8.0+dfsg1-1+b3	81.4 kt	326.0 kt	[tiedostoluettelo]