Constant boolector_sys::BTOR_INPUT_FORMAT_SMT1

source · 
pub const BTOR_INPUT_FORMAT_SMT1: BtorOptInputFormat = 3;