# metaSMT: focus on your application and not on solver integration

> Research article (International Journal on Software Tools for Technology Transfer, 2016) · cited 12× · AI/ML

**Wikidata**: [openalex:W2427136657](https://www.wikidata.org/wiki/openalex:W2427136657)  
**Source**: https://4ort.xyz/entity/metasmt-focus-on-your-application-and-not-on-solver-integration