aboutsummaryrefslogtreecommitdiffstats
path: root/math/picosat
Commit message (Expand)AuthorAgeFilesLines
* Move picosat and py-pycosat from devel -> mathkoobs2014-08-254-0/+49