/usr/bin/ar qc libpicosat.a  CMakeFiles/picosat.dir/picosat.c.o
/usr/bin/ranlib libpicosat.a
