Constant boolector_sys::BTOR_INPUT_FORMAT_SMT2

source · 
pub const BTOR_INPUT_FORMAT_SMT2: BtorOptInputFormat = 4;