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.
Sun, 11 Aug 2013 05:54:42 -0700 Mike Pavone Fix crash from calling srand during module initialization
Sun, 11 Aug 2013 04:35:02 -0700 Mike Pavone Sleep for 20 seconds when we receive a 429 response
Sun, 11 Aug 2013 04:03:51 -0700 Mike Pavone Updated myproblems.json. Some solver fixes