public BranchingHeuristic(Clauses clauses, RList <int> variables)
{
this.clauses = clauses;
this.variables = variables;
this.appearances = new List <VariableAppearance>();
CalculateAppearances();
}
public bool Solve()
{
variables = new RList <int>(new List <int>(new int[VariableCount + 1]));
clauses = new Clauses(clauseList);
heuristic = new BranchingHeuristic(clauses, variables);
SetVariableAppearances();
return(SolveImplementation());
}