minisat - 1:2.2.1-5+b3 main

Fast and lightweight SAT solver

Section: science
Suites: amber byzantium landing 
Maintainer: Michael Tautschnig <mt@debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 414.7 kB
Architectures: amd64  arm64 

 

Versions

1:2.2.1-5+b3 amd64 1:2.2.1-5+b3 arm64