開發者 rsolver.sf.net

RSolver 是一個程式庫，用於解決對實際數位的量化不等式約束。將一組不等式約束的解決方案集投射到兩個維度中的問題直接表述為此類約束。