Chương trình theo rsolver.sf.net

RSolver là một chương trình và thư viện để giải quyết những hạn chế bất bình đẳng định lượng trên các con số thực. Các vấn đề như chiếu bộ giải pháp của một tập hợp các ràng buộc bất bình đẳng cho hai chiều được xây dựng trực