aboutsummaryrefslogtreecommitdiff
path: root/math/py-pycosat
Commit message (Expand)AuthorAgeFilesLines
* math/py-pycosat: Chase category change for math/picosatKubilay Kocak2014-08-251-1/+2
* Move picosat and py-pycosat from devel -> mathKubilay Kocak2014-08-254-0/+48