hasUnknownVariables

ConsistencyChecks

hasVariables

ConsistencyChecks

head

CompositeRanking

heuristic

solver