smtlibName property

String smtlibName
final

Implementation

final String smtlibName;