| package | filename | size | different function |
|---|---|---|---|
| cryptominisat | ./usr/share/doc/cryptominisat/copyright | 4.9 KB | |
| libcryptominisat5-5.11t64 | ./usr/share/doc/libcryptominisat5-5.11t64/copyright | 4.9 KB | |
| libcryptominisat5-dev | ./usr/share/doc/libcryptominisat5-dev/copyright | 4.9 KB | |
| python3-cryptominisat | ./usr/share/doc/python3-cryptominisat/copyright | 4.9 KB |