Useful SMT features to support: - [ ] : `(get-model)`
Useful SMT features to support:
(get-model)