view tools/json-smart-1.0.9-1.jar @ 56:f864792a1b17

Improve prefiltering in program generator. Make solver use similar logic to driver when run standalone.
author Mike Pavone <pavone@retrodev.com>
date Sun, 11 Aug 2013 14:11:47 -0700
parents cdfc5e2de435
children
line wrap: on
line source

(binary:application/java-archive)