/* --------------------------------------------------------------------- */
/* Verbosity levels definitions */
nonverbose: 0;
summary : 1;
verbose : 2;
very_verbose : 3;
extra : 4;


/* Hypergeometric flag */
NO_HYP : 0;
HYP : 1; 

/* Detail levels for the authomatic provers */
PROOF_SILENT : 0;
PROOF_LOW : 1;
PROOF_MEDIUM : 2;
PROOF_HIGH : 3;

