Constant boolector_sys::BTOR_OPT_OUTPUT_FORMAT

source · 
pub const BTOR_OPT_OUTPUT_FORMAT: BtorOption = 5;