Constant boolector_sys::BTOR_INPUT_FORMAT_BTOR

source · 
pub const BTOR_INPUT_FORMAT_BTOR: BtorOptInputFormat = 1;