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