PRINT_SMTLIB_FULL constant

int const PRINT_SMTLIB_FULL

Implementation

static const int PRINT_SMTLIB_FULL = 0;