(/ XD./props.plist 000644 0 0 01570 0 013355 0 ustar 00root root
architecture
ppc64
changelog
http://fmv.jku.at/picosat/NEWS
homepage
http://fmv.jku.at/picosat/installed_size
665592
/arrayshort_descSatisfiability (SAT) solver for boolean variables (debug files)version
./files.plist 000644 3430 0 013311 0 ustar 00root dirsarray>
fil/usr
/picogcnftiminteger>1625432878