gpkit.tests.t_vars.TestVarKey.test_eq_neq (from gpkit.tests.t_vars.TestVarKey-20240103165649)
Warning: SignomialConstraint x + y >= z became the tautological constraint 0 <= 1 + x after substitution.