[−][src]Constant boolector_sys::BtorOption_BTOR_OPT_PROP_NO_MOVE_ON_CONFLICT
pub const BtorOption_BTOR_OPT_PROP_NO_MOVE_ON_CONFLICT: BtorOption
pub const BtorOption_BTOR_OPT_PROP_NO_MOVE_ON_CONFLICT: BtorOption