Constant boolector_sys::BTOR_ENGINE_AIGPROP

source · 
pub const BTOR_ENGINE_AIGPROP: BtorOptEngine = 4;