Fichier principal : main.ml
---------------------------

Usage :
  ocaml main.ml

Sorties : tests manuels dans le programme (à l'écran) et programmes ASP
permettant l'énumération des états initiaux et paramétrisations compatibles.

Le modèle doit actuellement être modifié à la main dans le programme
(section « Informations du BRN »).



Script : run-all.sh
-------------------

Usage :
  sh run-all.sh [suffixe]

Sorties : exécute chaque script ASP (entension *.lp, par ex. : script.lp)
trouvé dans le dossier courant et écrit les résultats dans autant de fichiers
(par ex. : script.lp[suffixe].out).