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.
Sun, 11 Aug 2013 14:12:01 -0700 Mike Pavone Merge
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.