我需要找到线性程序的精确实数解（其中所有输入都是整数）。重要的是，求解器还将解输出为有理数，理想情况下无需使用浮点数执行任何中间步骤。
GLPK 可以进行精确算术，但无法将解显示为有理数（即 1/3 得到 0.3333）。我可能可以尝试猜测这意味着哪个数字，但这似乎非常脆弱。
我无法找到可以做这种事情的 LP 求解器。有吗？性能并不是一个大问题；我的问题很小。（我确实考虑过使用像 Z3 这样的 SMT 求解器；它们可以解决此类问题并提供精确的有理解，但它们采用量词消除，而不是使用更适合线性规划（如 Simplex）的算法）