Constant Field Values

Contents

• org.opt4j.*

org.opt4j.*

org.opt4j.satdecoding.sat4j.VariableOrder

protected static final double	VAR_RESCALE_BOUND	1.0E100
protected static final double	VAR_RESCALE_FACTOR	1.0E-100