Wallaroo est une bibliothèque infinie de résolution et d’optimisation des contraintes de précision pour les contraintes linéaires sur les nombres rationnels. Il gère les égalités (=), les inégalités (<=, >=), les inégalités strictes (<, >), et les disequalities (!=).
historique de la version
- Version 0.1 posté sur 2005-07-31
Plusieurs correctifs et mises à jour - Version 0.1 posté sur 2005-07-31
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: wallaroo.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 0.1
- Plate-forme: windows