File list of package picosat in questing of architecture amd64

/usr/bin/picomus
/usr/bin/picosat
/usr/bin/picosat.trace
/usr/include/picosat/picosat.h
/usr/lib/x86_64-linux-gnu/libpicosat-trace.a
/usr/lib/x86_64-linux-gnu/libpicosat-trace.so
/usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1
/usr/lib/x86_64-linux-gnu/libpicosat-trace.so.1.0.0
/usr/lib/x86_64-linux-gnu/libpicosat.a
/usr/lib/x86_64-linux-gnu/libpicosat.so
/usr/lib/x86_64-linux-gnu/libpicosat.so.1
/usr/lib/x86_64-linux-gnu/libpicosat.so.1.0.0
/usr/share/doc/picosat/changelog.Debian.gz
/usr/share/doc/picosat/copyright
/usr/share/man/man1/picomus.1.gz
/usr/share/man/man1/picosat.1.gz
/usr/share/man/man1/picosat.trace.1.gz