Constant boolector_sys::BTOR_OUTPUT_FORMAT_BTOR

source · 
pub const BTOR_OUTPUT_FORMAT_BTOR: BtorOptOutputFormat = 1;