RSolver

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

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 d’inégalité à deux dimensions doivent être directement formulés comme de telles contraintes.

historique de la version

  • Version rsolver posté sur 2011-01-21
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-01-21

Détails du programme