Constant boolector_sys::BTOR_OPT_PROP_NO_MOVE_ON_CONFLICT

source · 
pub const BTOR_OPT_PROP_NO_MOVE_ON_CONFLICT: BtorOption = 66;