Programmes par rsolver.sf.net

RSolver est un programme et une bibliothèque pour résoudre les contraintes d’inégalité quantifiées par rapport aux chiffres réels. Des problèmes tels que la projetation de l’ensemble de solutions d’un ensemble de contraintes