SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
variableordering Directory Reference
Directory dependency graph for variableordering:
smtrat-mcsat/variableordering

Files

file  feature_based.h [code]
 
file  greedy_max_univariate.h [code]
 
file  helper.h [code]
 
file  VariableOrdering.h [code]