Boolean VariableGraph.IsSolved { get; }