všetky možnosti
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Zdroj: cryptominisat  ]

Balík: cryptominisat (5.11.4+dfsg1-2 a iné)

Odkazy pre cryptominisat

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík cryptominisat:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom cryptominisat

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť cryptominisat

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
arm64 5.11.4+dfsg1-2+b1 69.2 kB352.0 kB [zoznam súborov]