Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/py-pycosat: Update to 0.6.1 | Kubilay Kocak | 2015-12-26 | 2 | -6/+5 |
* | math/py-pycosat: Chase category change for math/picosat | Kubilay Kocak | 2014-08-25 | 1 | -1/+2 |
* | Move picosat and py-pycosat from devel -> math | Kubilay Kocak | 2014-08-25 | 4 | -0/+48 |