Logique et informatique (info-501) : soumission initiale du TP1
L3-info groupe groupe_2
soumissions désactivées : trop tard
| Cours | info-501, Logique et informatique |
| Groupe de TP | groupe de TP n°groupe_2 (L3-info) |
| Encadrant de TP | Robin Jourde |
| TP1 | satisfiabilité (lien) |
| Début des soumissions | vendredi 19 septembre à 13:15 |
| Fin des modifications | vendredi 19 septembre à 17:30 |
| Nombre maximal d'étudiants par soumission | 2 |
| Extensions autorisées | .zip,.tar,.tgz,.gz |
La date limite de soumission de ce TP était le vendredi 19 septembre 2025 à 17:30, nous sommes actuellement le mercredi 21 Janvier 2026 et il est 05:38. Le formulaire est donc désactivé.
