Searched refs:RM_LUBY (Results 1 – 5 of 5) sorted by relevance
109 RM_LUBY, ///< Restart with Luby sequence enumerator
303 _restart.add(RM_LUBY,"luby"); in FlatZincOptions()
673 _restart.add(RM_LUBY,"luby"); in Options()
165 case RM_LUBY: in createCutoff()
1100 opt.restart(RM_LUBY); in createBranchers()