| changeset 36085 | 0eaa6905590f |
| parent 35153 | 5e8935678ee4 |
| 36084:3176ec2244ad | 36085:0eaa6905590f |
|---|---|
4 Interface to Z3 based on a relaxed version of SMT-LIB. |
4 Interface to Z3 based on a relaxed version of SMT-LIB. |
5 *) |
5 *) |
6 |
6 |
7 signature Z3_INTERFACE = |
7 signature Z3_INTERFACE = |
8 sig |
8 sig |
9 val interface: string list -> SMT_Solver.interface |
9 val interface: string list -> SMT_Translate.config |
10 end |
10 end |
11 |
11 |
12 structure Z3_Interface: Z3_INTERFACE = |
12 structure Z3_Interface: Z3_INTERFACE = |
13 struct |
13 struct |
14 |
14 |