A constraint that has been solved for the value of one of the variables
@type t() :: %Dantzig.SolvedConstraint{ expression: term(), metadata: term(), name: term(), operator: term(), variable: term() }