drat-trim-examples (0.0~git20240428.effa1dc-3)

Details

Core information at a glance

Distribution: ubuntu
Origin: ubuntu-stonking
Repository: https://nl.archive.ubuntu.com/ubuntu
Codename: stonking
Component: universe
Source: drat-trim
Architecture: i386
Section: universe/science
Priority: optional
Maintainer: Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size: 7.2 kB
Size expected: 7.2 MB
Size actual: 7.2 MB
Size match

Dependencies

Required package dependencies

None

Suggested packages

Recommended additional packages

bzip2

Description

DART-trim satisfiability proof checker (example files)

Homepage Download .deb

Checksums

Hash values and integrity verification status

Type	Expected	Actual
MD5	f9673892…6bbce94a	f9673892…6bbce94a
SHA-1	cc2e31c7…40d5cfab	cc2e31c7…40d5cfab
SHA-256	f7755c44…bf672d5c	f7755c44…bf672d5c
SHA-512	1541da98…2b206e7c	1541da98…2b206e7c

Files and directories included

.
usr
usr/share
usr/share/doc
usr/share/doc/drat-trim
usr/share/doc/drat-trim/examples
usr/share/doc/drat-trim/examples/R_4_4_18.clrat.bz2
usr/share/doc/drat-trim/examples/R_4_4_18.cnf.gz
usr/share/doc/drat-trim/examples/R_4_4_18.drat.bz2
usr/share/doc/drat-trim/examples/example-4-vars.cnf
usr/share/doc/drat-trim/examples/example-4-vars.drat
usr/share/doc/drat-trim/examples/example-4-vars.lrat
usr/share/doc/drat-trim/examples/example-5-vars.cnf
usr/share/doc/drat-trim/examples/example-5-vars.drat
usr/share/doc/drat-trim/examples/example-5-vars.lrat
usr/share/doc/drat-trim/examples/example-Schur.cnf
usr/share/doc/drat-trim/examples/example-Schur.drat
usr/share/doc/drat-trim/examples/example-Schur.drup
usr/share/doc/drat-trim/examples/uuf-100-1.cnf.gz
usr/share/doc/drat-trim/examples/uuf-100-1.drat.gz
usr/share/doc/drat-trim/examples/uuf-100-1.lrat.gz
usr/share/doc/drat-trim/examples/uuf-100-2.cnf.gz
usr/share/doc/drat-trim/examples/uuf-100-2.drat.gz
usr/share/doc/drat-trim/examples/uuf-100-2.lrat.gz
usr/share/doc/drat-trim/examples/uuf-100-3.cnf.gz
usr/share/doc/drat-trim/examples/uuf-100-3.drat.gz
usr/share/doc/drat-trim/examples/uuf-100-3.lrat.gz
usr/share/doc/drat-trim/examples/uuf-100-4.cnf.gz
usr/share/doc/drat-trim/examples/uuf-100-4.drat.gz
usr/share/doc/drat-trim/examples/uuf-100-4.lrat.gz
usr/share/doc/drat-trim/examples/uuf-100-5.cnf.gz
usr/share/doc/drat-trim/examples/uuf-100-5.drat.gz
usr/share/doc/drat-trim/examples/uuf-100-5.lrat.gz
usr/share/doc/drat-trim/examples/uuf-30-1.cnf
usr/share/doc/drat-trim/examples/uuf-30-1.drat
usr/share/doc/drat-trim/examples/uuf-30-1.lrat
usr/share/doc/drat-trim/examples/uuf-50-2.cnf
usr/share/doc/drat-trim/examples/uuf-50-2.drat
usr/share/doc/drat-trim/examples/uuf-50-2.lrat.gz
usr/share/doc/drat-trim/examples/uuf-50-3.cnf
usr/share/doc/drat-trim/examples/uuf-50-3.drat
usr/share/doc/drat-trim/examples/uuf-50-3.lrat.gz
usr/share/doc/drat-trim-examples
usr/share/doc/drat-trim-examples/changelog.Debian.gz
usr/share/doc/drat-trim-examples/copyright