Programma's van rsolver.sf.net

RSolver is een programma en bibliotheek voor het oplossen van gekwantificeerde ongelijkheidsbeperkingen ten opzichte van de reële getallen. Problemen zoals het projecteren van de oplossingsset van een reeks van ongelijkheidsb