P
Initializing...
Model sanity, real RAM: one-variable LP in linear time · Prove2Me