LogicKind constructor

const LogicKind(String smtlibName)

Implementation

const LogicKind(this.smtlibName);