Include veriT component for "smt" method
HOL
- An updated version of the veriT solver is now included as Isabelle component. It can be used in the smt proof method via smt (verit) or via declare [[smt_solver = verit]] in the context; see also session HOL-Word-SMT_Examples.
This refers to Isabelle/e4d707eb7d1b.
- Projects
- None
- Subscribers
- None