Package - drat-trim-examples

Package: drat-trim-examples
apt-get install drat-trim-examples

Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/d/drat-trim/drat-trim-examples_0.0~git20240428.effa1dc-2_all.deb (Size: 6.9MiB)

Property	Value
Package	drat-trim-examples
Source	drat-trim
Version	0.0~git20240428.effa1dc-2
Installed-Size	7196
Maintainer	Debian Science Maintainers
Architecture	all
Recommends	drat-trim
Suggests	bzip2
Description	DART-trim satisfiability proof checker (example files)
Description-md5	014e5d7f0efb622d4f0b21f560437a71
Multi-Arch	foreign
Homepage	https://www.cs.utexas.edu/~marijn/drat-trim/
Section	science
Priority	optional
Filename	pool/main/d/drat-trim/drat-trim-examples_0.0~git20240428.effa1dc-2_all.deb
Size	7238504
MD5sum	6841fee87fb6c39cdd3065dffb7ebd3a
SHA256	e22fa87d259416712a2a0c7440a10b6a120812bbee35f15ca4366b27213a9e0f

Files in package

/usr/share/doc/drat-trim-examples/changelog.Debian.gz
/usr/share/doc/drat-trim-examples/copyright
/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