Home
last modified time | relevance | path

Searched refs:RM_LUBY (Results 1 – 5 of 5) sorted by relevance

/dports/math/gecode/gecode-0916a1a/gecode/
H A Ddriver.hh109 RM_LUBY, ///< Restart with Luby sequence enumerator
H A Dflatzinc.hh303 _restart.add(RM_LUBY,"luby"); in FlatZincOptions()
/dports/math/gecode/gecode-0916a1a/gecode/driver/
H A Doptions.cpp673 _restart.add(RM_LUBY,"luby"); in Options()
H A Dscript.hpp165 case RM_LUBY: in createCutoff()
/dports/math/gecode/gecode-0916a1a/gecode/flatzinc/
H A Dflatzinc.cpp1100 opt.restart(RM_LUBY); in createBranchers()