wszystkie opcje
bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy:  ]

Pakiet: cryptominisat (5.11.21+dfsg1-1) [debports]

Odnośniki dla cryptominisat

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z cryptominisat

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie cryptominisat

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 81,6 KiB354,0 KiB [lista plików]