picosat 954-1 in ubuntu - trusty / universe

About

This package is 334.7 KB. It is available at http://archive.ubuntu.com/ubuntu/pool/universe/p/picosat/picosat_954-1_amd64.deb .

View its full control file here: debian/control.

Description

SAT solver with proof and core support

Relations

Package Contents

File	Mime Type	Owner	Mode	Size
postinst	text/x-shellscript	N/A	N/A	135 bytes
postrm	text/x-shellscript	N/A	N/A	132 bytes
/usr/		root:root	0o755
/usr/bin/		root:root	0o755
/usr/bin/picomus	application/x-executable	root:root	0o755	86.2 KB
/usr/bin/picosat	application/x-executable	root:root	0o755	94.2 KB
/usr/bin/picosat.trace	application/x-executable	root:root	0o755	102.2 KB
/usr/include/		root:root	0o755
/usr/include/picosat/		root:root	0o755
/usr/include/picosat/picosat.h	text/x-c	root:root	0o644	27.2 KB
/usr/lib/		root:root	0o755
/usr/lib/libpicosat.a	application/x-archive	root:root	0o644	98.1 KB
/usr/lib/libpicosat.so		root:root	0o777
/usr/lib/libpicosat.so.1		root:root	0o777
/usr/lib/libpicosat.so.1.0.0	application/x-sharedlib	root:root	0o644	82.0 KB
/usr/lib/libpicosat-trace.a	application/x-archive	root:root	0o644	110.5 KB
/usr/lib/libpicosat-trace.so		root:root	0o777
/usr/lib/libpicosat-trace.so.1		root:root	0o777
/usr/lib/libpicosat-trace.so.1.0.0	application/x-sharedlib	root:root	0o644	90.1 KB
/usr/share/		root:root	0o755
/usr/share/doc/		root:root	0o755
/usr/share/doc/picosat/		root:root	0o755
/usr/share/doc/picosat/changelog.Debian.gz	application/gzip	root:root	0o644	834 bytes
/usr/share/doc/picosat/copyright	text/plain	root:root	0o644	2.2 KB
/usr/share/man/		root:root	0o755
/usr/share/man/man1/		root:root	0o755
/usr/share/man/man1/picomus.1.gz	application/gzip	root:root	0o644	821 bytes
/usr/share/man/man1/picosat.1.gz	application/gzip	root:root	0o644	1.1 KB
/usr/share/man/man1/picosat.trace.1.gz		root:root	0o777