Tarafından Programlar rsolver.sf.net

RSolver, gerçek sayılar üzerindeki nicel eşitsizlik kısıtlamalarını çözmek için bir program ve kütüphanedir. Bir eşitsizlik kısıtlama kümesinin çözüm kümesini iki boyuta yansıtmagibi sorunlar, bu tür kısıtlamalar gibi doğruda