โปรแกรมตาม rsolver.sf.net

RSolver เป็นโปรแกรมและห้องสมุดสําหรับการแก้ปัญหาข้อ จํากัด ความไม่เท่าเทียมกันเชิงปริมาณมากกว่าจํานวนจริง ปัญหาเช่นการแสดงชุดโซลูชันของชุดของข้อจํากัดความไม่เท่าเทียมกันเป็นสองมิติจะถูกกําหนดโดยตรงเป็นข้อ จํากัด ดังกล่าว