pub const CVC5_ARGS: [&str; 3];
Option to set CVC5 in quiet mode, use SMT-LIB2 language and force logic to LIA