aboutsummaryrefslogtreecommitdiff
path: root/math/picosat
Commit message (Expand)AuthorAgeFilesLines
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/picosat: Update to 965Kubilay Kocak2016-06-272-5/+13
* Move picosat and py-pycosat from devel -> mathKubilay Kocak2014-08-254-0/+49