good_lp::constraint
pub fn eq<F, B, A: Sub<B, Output = Expression<F>>>(a: A, b: B) -> Constraint<F>
equals