Tarkennettu haku
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: cryptominisat  ]

Paketti: cryptominisat (5.11.4+dfsg1-2 ja muut)

Links for cryptominisat

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti cryptominisat:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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

  • depends
  • recommends
  • suggests
  • enhances

Imuroi cryptominisat

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Versio Paketin koko Koko asennettuna Tiedostot
i386 5.11.4+dfsg1-2+b1 79.2 kt266.0 kt [tiedostoluettelo]