aboutsummaryrefslogtreecommitdiff
path: root/math/py-pycosat/files
Commit message (Expand)AuthorAgeFilesLines
* Move picosat and py-pycosat from devel -> mathKubilay Kocak2014-08-251-0/+8