Mercurial > repos > icfp2013
log
age | author | description |
---|---|---|
Sun, 11 Aug 2013 15:24:22 -0700 | bill | mike's changes to solver default tip |
Sun, 11 Aug 2013 14:24:41 -0700 | William Morgan | solver uses allWithMaxSize if no ops provided. |
age | author | description |
---|---|---|
Sun, 11 Aug 2013 15:24:22 -0700 | bill | mike's changes to solver default tip |
Sun, 11 Aug 2013 14:24:41 -0700 | William Morgan | solver uses allWithMaxSize if no ops provided. |