PRINT_SMTLIB2_COMPLIANT constant

int const PRINT_SMTLIB2_COMPLIANT

Implementation

static const int PRINT_SMTLIB2_COMPLIANT = 2;