Home
last modified time | relevance | path

Searched defs:ratio_glue_geom (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dsolverconf.h275 … double ratio_glue_geom; //higher the number, the more glue will be done. 2 is 2x glue 1x geom variable
/dports/math/cryptominisat/cryptominisat-5.8.0/src/
H A Dsolverconf.h275 … double ratio_glue_geom; //higher the number, the more glue will be done. 2 is 2x glue 1x geom variable