Wed, 08 Dec 2010 22:18:37 +0100 | blanchet | lower fudge factor | file | diff | annotate |
Wed, 08 Dec 2010 22:17:53 +0100 | blanchet | implicitly call the minimizer for SMT solvers that don't return an unsat core | file | diff | annotate |
Wed, 08 Dec 2010 22:17:52 +0100 | blanchet | renamings | file | diff | annotate |
Wed, 08 Dec 2010 22:17:52 +0100 | blanchet | moved function to later module | file | diff | annotate |
Wed, 08 Dec 2010 22:17:52 +0100 | blanchet | clarified terminology | file | diff | annotate |
Wed, 08 Dec 2010 22:17:52 +0100 | blanchet | split "Sledgehammer" module into two parts, to resolve forthcoming dependency problems | file | diff | annotate | base |