log src/driver.tp @ 59:3c8d8fdd32a1 default tip

age author description
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:55:06 -0700 Mike Pavone Added solver driver