smt-string

API

Library smt-string