smtlibName property

String smtlibName
final

The name of the logic in SMT-LIB.

Implementation

final String smtlibName;