Programmi di rsolver.sf.net

RSolver è un programma e una libreria per risolvere vincoli di disuguaglianza quantificati sui numeri reali. Problemi come proiettare l'insieme di soluzioni di un insieme di vincoli di disuguaglianza su due dimensioni devono