Constant boolector_sys::BTOR_INPUT_FORMAT_NONE

source · 
pub const BTOR_INPUT_FORMAT_NONE: BtorOptInputFormat = 0;