Mercurial > repos > icfp2013
log src/solver.tp @ 59:3c8d8fdd32a1 default tip
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. |
Sun, 11 Aug 2013 14:11:47 -0700 | Mike Pavone | Improve prefiltering in program generator. Make solver use similar logic to driver when run standalone. |