Installation de Tarski UdeS sur votre ordinateur

1. Téléchargez l'archive pour votre système d'exploitation et la dézipper sur votre ordinateur à l'endroit de votre choix.
2. Démarrez l'application en exécutant le fichier suivant à partir de l'explorateur de fichiers
• Windows : <repertoire choisi pour tarski>/tarski-udes-x64-win/bin/tarski-udes.bat
• Linux : <repertoire choisi pour tarski>/tarski-udes-x64-linux/bin/tarski-udes
• Mac OSX
• autoriser l'exécution de la machine virtuelle Java de Tarski UDES en exécutant la commande suivante dans un terminal
  
  xattr -d com.apple.quarantine <repertoire choisi pour tarski>/tarski-udes-x64-mac/bin/java
  
  
• exécutez le fichier <repertoire choisi pour tarski>/tarski-udes-x64-mac/bin/tarski-udes