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
usr/lib/libpicosat-trace.so.1.0.0 usr/lib/libpicosat-trace.so.1
usr/lib/libpicosat-trace.so.1 usr/lib/libpicosat-trace.so
