Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | math/py-pycosat: Update to 0.6.3 | Kubilay Kocak | 2018-08-07 | 1 | -2/+3 |
* | math/py-pycosat: Update to 0.6.1 | Kubilay Kocak | 2015-12-26 | 1 | -2/+2 |
* | Move picosat and py-pycosat from devel -> math | Kubilay Kocak | 2014-08-25 | 1 | -0/+2 |