开发者 rsolver.sf.net

RSolver 是一个程序库，用于解决对实际数字的量化不等式约束。将一组不等式约束的解决方案集投射到两个维度中的问题直接表述为此类约束。