The entry point of this library is the module: Dolmen_smtlib2_v6_response.
Dolmen_smtlib2_v6_response