19#ifndef __CVC4__OPTIONS__${module_id}_H
20#define __CVC4__OPTIONS__${module_id}_H
27${module_optionholder_spec}
41${module_specializations}
Macros that should be defined everywhere during the building of the libraries and driver binary,...
@ $
marks the upper-bound of this enumeration
Global (command-line, set-option, ...) parameters for SMT.