https://123dok.org/document/z3djpgl8-gnu-linear-programming-kit.html