Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix WWW | Sunpoet Po-Chuan Hsieh | 2017-06-26 | 1 | -1/+1 |
* | - Update math/cryptominisat and math/py-cryptominisat to 5.0.0 | Carlos J. Puga Medina | 2016-09-01 | 1 | -1/+1 |
* | math/cryptominisat, math/py-cryptominisat: add new ports | Jan Beich | 2015-05-05 | 1 | -0/+6 |