picosat usr/bin/
picomus usr/bin/
libpicosat.a usr/lib/
libpicosat.so.1.0.0 usr/lib/
trace/picosat.trace usr/bin/
trace/libpicosat-trace.a usr/lib/
trace/libpicosat-trace.so.1.0.0 usr/lib/
picosat.h usr/include/picosat/
