Solution (source code)

= Solution

The dual is $\boxed{D:\ \min b^Ty\text{ subject to }A^Ty\ge c,\ y\ge0}$. For feasible points $c^Tx\le y^TAx\le y^Tb$, so its feasible objectives bound the primal objective from above. This is <weak duality> with the given maximization convention.