| changeset 48433 | 9e9b6e363859 |
| parent 48432 | 60759d07df24 |
| child 48533 | 5ada9fd7507b |
| 48432:60759d07df24 | 48433:9e9b6e363859 |
|---|---|
27 open Sledgehammer_Provers |
27 open Sledgehammer_Provers |
28 open Sledgehammer_Minimize |
28 open Sledgehammer_Minimize |
29 open Sledgehammer_MaSh |
29 open Sledgehammer_MaSh |
30 open Sledgehammer_Run |
30 open Sledgehammer_Run |
31 |
31 |
32 val cvc3N = "cvc3" |
32 (* val cvc3N = "cvc3" *) |
33 val yicesN = "yices" |
33 val yicesN = "yices" |
34 val z3N = "z3" |
34 val z3N = "z3" |
35 |
35 |
36 val runN = "run" |
36 val runN = "run" |
37 val minN = "min" |
37 val minN = "min" |