Le projet Dolphin se veut un projet de recherche regrégeant des outils liés aux outils et outils de solveur de satisfiabilité open source qui leur sont liés comme les vérificateurs de modèles délimités et les vérificateurs logiciels.
historique de la version
- Version Dolphin%20SAT%200.1.1 posté sur 2008-03-02
Plusieurs correctifs et mises à jour - Version Dolphin SAT 0.1.1 posté sur 2008-03-02
Détails du programme
- Catégorie: Éducation > Autres
- Éditeur: dolphin-project.sf.net
- Licence: Gratuit
- Prix: N/A
- Version: 0.1.1
- Plate-forme: windows