Constant boolector_sys::BTOR_OPT_INCREMENTAL

source · 
pub const BTOR_OPT_INCREMENTAL: BtorOption = 1;