Программы rsolver.sf.net

RSolver – это программа и библиотека для решения количественных ограничений неравенства по отношению к реальным цифрам. Такие проблемы, как проецирование набора решений по набору ограничений неравенства в два измерения, должн