Besoin d'aide concernant le logiciel ACL2
Fermé
ultimate punisher
-
6 mars 2008 à 16:45
MaMandriva Messages postés 4 Date d'inscription lundi 10 décembre 2007 Statut Membre Dernière intervention 12 avril 2008 - 12 avril 2008 à 20:06
MaMandriva Messages postés 4 Date d'inscription lundi 10 décembre 2007 Statut Membre Dernière intervention 12 avril 2008 - 12 avril 2008 à 20:06
A voir également:
- Besoin d'aide concernant le logiciel ACL2
- Logiciel aménagement intérieur gratuit - Guide
- Logiciel montage video gratuit - Guide
- Logiciel scanner - Télécharger - Divers Bureautique
- Dactylo logiciel - Télécharger - Divers Bureautique
- Spss logiciel gratuit - Télécharger - Outils professionnels
1 réponse
MaMandriva
Messages postés
4
Date d'inscription
lundi 10 décembre 2007
Statut
Membre
Dernière intervention
12 avril 2008
12 avril 2008 à 20:06
12 avril 2008 à 20:06
Salut !
Je ne sais pas si tu es arrivé à faire ton exposé sur ACL2. De tte façon, pr les docs, tu peux tjrs faire référence au site ACL2 : https://www.cs.utexas.edu/~moore/acl2/
Il est tjrs mieux de faire fonctionner ACL2 sur linux mais il existe qd même un install sur windows à cette adresse: http://www.cs.utexas.edu/users/moore/acl2/v3-2/installation/installation.html -- c ACL2 v3.2 alors que la dernière version c 3.3 !
Bien que ma réponse doit être tardive (puisque tu disais q l'éxposé était dans 2 jours), je tenais à répondre pr te donner ce conseil là: si tu dois utiliser ACL2 pr un projet de fin d'études, vaut mieux l'éviter et choisir un autre logiciel car il est bcp trop compliqué à apprendre celui-là !!!! et son apprentissage risque de te prendre plus de temps que le projet lui même !
Et puis, puisque je suis aussi de la Tunisie et que je suis en train de travailler sur ACL2, j'aimerais si possible savoir comment se nomme le prof qui vous a donné cet exposé et ct dans le cadre de quelle matière ? autrement, si ce prof vient de vous donner cet exposé par hasard ou si c'est parce qu'il s'y connait en ACL2??
Vous allez vraiment me rendre service en me répondant.
Merci
Je ne sais pas si tu es arrivé à faire ton exposé sur ACL2. De tte façon, pr les docs, tu peux tjrs faire référence au site ACL2 : https://www.cs.utexas.edu/~moore/acl2/
Il est tjrs mieux de faire fonctionner ACL2 sur linux mais il existe qd même un install sur windows à cette adresse: http://www.cs.utexas.edu/users/moore/acl2/v3-2/installation/installation.html -- c ACL2 v3.2 alors que la dernière version c 3.3 !
Bien que ma réponse doit être tardive (puisque tu disais q l'éxposé était dans 2 jours), je tenais à répondre pr te donner ce conseil là: si tu dois utiliser ACL2 pr un projet de fin d'études, vaut mieux l'éviter et choisir un autre logiciel car il est bcp trop compliqué à apprendre celui-là !!!! et son apprentissage risque de te prendre plus de temps que le projet lui même !
Et puis, puisque je suis aussi de la Tunisie et que je suis en train de travailler sur ACL2, j'aimerais si possible savoir comment se nomme le prof qui vous a donné cet exposé et ct dans le cadre de quelle matière ? autrement, si ce prof vient de vous donner cet exposé par hasard ou si c'est parce qu'il s'y connait en ACL2??
Vous allez vraiment me rendre service en me répondant.
Merci