(/ X\./props.plist 000644 0 0 01575 0 013362 0 ustar 00root root
architecture
ppc64-musl
changelog
http://fmv.jku.at/picosat/NEWS
homepage
http://fmv.jku.at/picosat/installed_size
621360
/arrayshort_descSatisfiability (SAT) solver for boolean variables (debug files)version
./files.plist 000644 3430 0 013311 0 ustar 00root dirsarray>
fil/usr
/picogcnftiminteger>1625449245