Skip to content
Sections
>> Trisquel >> Packages >> aramo >> math >> cryptominisat
aramo  ]
[ Source: cryptominisat  ]

Package: cryptominisat (5.8.0+dfsg1-2)

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.

Other Packages Related to cryptominisat

  • depends
  • recommends
  • suggests

Download cryptominisat

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 90.8 kB301 kB [list of files]
arm64 87.0 kB281 kB [list of files]
armhf 86.6 kB223 kB [list of files]
ppc64el 97.0 kB421 kB [list of files]