equal
deleted
inserted
replaced
5 header {* Bindings to Satisfiability Modulo Theories (SMT) solvers *} |
5 header {* Bindings to Satisfiability Modulo Theories (SMT) solvers *} |
6 |
6 |
7 theory SMT |
7 theory SMT |
8 imports List |
8 imports List |
9 uses |
9 uses |
10 "~~/src/Tools/cache_io.ML" |
|
11 ("Tools/SMT/smt_monomorph.ML") |
10 ("Tools/SMT/smt_monomorph.ML") |
12 ("Tools/SMT/smt_normalize.ML") |
11 ("Tools/SMT/smt_normalize.ML") |
13 ("Tools/SMT/smt_translate.ML") |
12 ("Tools/SMT/smt_translate.ML") |
14 ("Tools/SMT/smt_solver.ML") |
13 ("Tools/SMT/smt_solver.ML") |
15 ("Tools/SMT/smtlib_interface.ML") |
14 ("Tools/SMT/smtlib_interface.ML") |