Constant boolector_sys::BTOR_OUTPUT_BASE_DEC

source · 
pub const BTOR_OUTPUT_BASE_DEC: BtorOptOutputBase = 3;