usr/share/man/man1/picosat.1 usr/share/man/man1/picosat.trace.1
usr/lib/libpicosat.so.1.0.0 usr/lib/libpicosat.so.1
usr/lib/libpicosat.so.1 usr/lib/libpicosat.so
