Program menurut rsolver.sf.net

RSolver adalah program dan perpustakaan untuk memecahkan kendala ketidaksetaraan yang terkuantifikasi atas angka riil. Masalah seperti memproyeksikan serangkaian solusi dari serangkaian kendala ketidaksetaraan ke dua dimensi