2018-09-06 | Hamed Gorjiara | New dataset + Using Glucose instead of Pycosat | blob | commitdiff | raw |
2018-07-19 | Hamed Gorjiara | Merge branch 'master' of ssh://demsky.eecs.uci.edu... | blob | commitdiff | raw | diff to current |
2018-07-19 | bdemsky | spelling | blob | commitdiff | raw | diff to current |