INSTALL.org

Pour des tests ou développements à partir de ce dépôt

Prérequis

• Java >=1.8 (apt-get install default-jre)
• clojure CLI (apt-get install clojure)
• Python >= 3.6 pour la preuve formelle avec Z3

Proposer une implémentation dans un nouveau langage

• Vérifiez que le langage dans lequel vous voulez implémenter l’algorithme n’est pas déjà proposé dans les issues.
• Ouvrez une issue avec votre proposition, nous vous guiderons.

Mettre à jour les contenus web

• Éditez les fichiers du répertoire website.
• Lancez la commande ./build web
• Vérifiez, committez, pushez.

Mettre à jour le démonstrateur de l’algorithme

Pour mettre à jour le démonstrateur :

• Éditez le fichier config.yml
• Lancez la commande ./build js
• Committez, pushez.

Développer le démonstrateur

Pour développer le démonstrateur standard :

1. Configurez config.yml
2. Testez avec clj -A:test-config
3. Compilez avec clj -A:fig
4. Allez à http://localhost:9500
5. Éditez core.cljs

Tester l’algorithme

Lire des exemples

Vous pouvez un exemple montrant les paramètres liés aux réponses du questionnaire et la conclusion déduite par l’algorithme :

~$ clj -m choices.algo

Pour avoir plusieurs exemples :

~$ clj -m choices.algo 10

Tester la cohérence formelle

Vous pouvez aussi tester les aspects logiques de l’algorithme :

~$ clj -m choices.algo logic

Si les deux tests réussissent, cela signifie que toutes les possibilités de saisie du questionnaire aboutissent à une conclusion et que chaque conclusion est atteinte au moins par une possibilité de réponse.

Vous pouvez aussi lancer une preuve formelle avec Z3.

Déployer les fichiers statiques depuis ce dépôt

Une seule commande :

./build