[−][src]Module varisat::decision
Decision heuristics.
Modules
| vsids | The VSIDS branching heuristic. |
Functions
| initialize_var | Initialize decision heuristics for a new variable. |
| make_available | Make a variable available for decisions. |
| make_decision | Make a decision and enqueue it. |
| remove_var | Remove a variable from the decision heuristics. |