All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Groups Pages
heur_trivial.h
Go to the documentation of this file.
21 * pre-root heuristic that tries some trivial (but often feasibile) solutions: all variables at their upper bounds, all
22 * variables at their lower bounds, all variables zero, all variables at the bound with the fewer locks. This will,
|