Documentation - Java PathFinder (JPF)

Cet article est partiellement vide. N'hésitez pas à le compléter!

JPF est installé sur les machines des salles dans /usr/local/bin/jpf

Si vous avez besoin de JPF sur votre machine, le tutoriel d'installation se trouve au lien suivant : https://wiki.student.info.ucl.ac.be/Logiciels/JavaPathFinder

Recupéré sur https://wiki.student.info.ucl.ac.be/Documentation/JPF
Page mise à jour le 06 août 2020 à 15h01