DPRLE (procédure de décision pour les équations linguistiques régulières) résout les contraintes sous-ensemble qui impliquent des variables linguistiques et la concaténation.
historique de la version
- Version dprle%200.5.0 posté sur 2009-04-10
Plusieurs correctifs et mises à jour - Version dprle 0.5.0 posté sur 2009-04-10
Détails du programme
- Catégorie: Développement > Autres
- Éditeur: www.cs.virginia.edu/~ph4u/dprle/
- Licence: Gratuit
- Prix: N/A
- Version: 0.5.0
- Plate-forme: windows