aboutsummaryrefslogtreecommitdiff
path: root/math/picosat/Makefile
Commit message (Expand)AuthorAgeFilesLines
* math/picosat: Update to 965Kubilay Kocak2016-06-271-3/+10
* Move picosat and py-pycosat from devel -> mathKubilay Kocak2014-08-251-0/+30