F
arkas
Farkas
Matrix_Farkas
Simplex_for_Reals