Module Create_instance_sol (.ml)

module Create_instance_sol: sig .. end
Projet Puzzle
Author(s): Lilian Besson <lilian.besson[AT]ens-cachan.fr>


Ce script se base sur 'resolution.ml' et 'interface.ml'. Il faut noter qu'un changement dans la librairie de resolution devrait ne pas rendre cette interface obsolète, du moment que les types et les signatures des fonctions principales soient conservées.
val ecrit_instance_generee_sol : Resolution.instance -> unit -> unit
Pour sauvegarder l'instance aléatoire générée.
val launch_sol : unit -> unit
Fonction launch, utilise zenity. Demande à l'utilisateur des valeurs pour c, n et m, et un nom de fichier destination, et génère une instance aléatoire et l'enregistre.