P
Initializing...
Farkas certificates of support at most $n+1$ · Prove2Me