Updated readmes

Author: dylan-robins

readme.md

@@ -57,16 +57,12 @@ The *File* menu offers several useful options:
 
 + `main.py`: Main program. Run this file to run the graphical interface.
 + `display_sat_results.py`: Commandline utility script that displays the output of a satsolver as a grid (text). Currently supports minisat and picosat output files.
++ `json-2-sat.py`: Commandline utility script that generates the DIMACS .cnf file that describes the satifiability of a given grid.
++ `json-2-3sat.py`: Same as above, but reduces the satisfiability clauses to 3-SAT.
 + `lib/grid.py`: contains the Grid class.
 + `lib/gen_formule.py`: contains the functions that generate the cnf formula that's passed to the satsolver.
 + `lib/file_io.py`: contains the functions used to import/export files in and out of the program.
 
-## To do
-
-+ [Feature] Add function to import DIMACS files
-+ [Feature] [Optional] Undo/redo in GUI?
-+ [Feature] [Optional] Add command-line interface?
-
 ## Authors
 + [Dylan ROBINS](https://github.com/dylan-robins/)
 + Lucas DREZET

readme_fr.md

@@ -59,15 +59,12 @@ Le menu "File" offre différentes options :
 ## Structure du programme
 - `main.py`: Programme principal. Executez ce fichier pour lancer l'interface graphique
 - `display_sat_results.py`: Outil de ligne de commande qui affiche le résultat d'un satsolver sous forme de grille résolue de Dosun-Fuwari. Prend en charge les sorties de minisat et de picosat.
+- `json-2-sat.py`: Outil de ligne de commande qui génère le fichier .cnf au format DIMACS décrivant la satisfaisabilité d'une grille donnée en argument.
+- `json-2-3sat.py`: Pareil que ci-dessus, mais réduit les clauses de satisfaisabilité en des clauses 3-SAT.
 - `lib/grid.py` : contient la classe de la grille.
 - `lib/gen_formule.py` : contient les fonctions qui générent la formule cnf qui est donnée au satsolver.
 - `lib/file_io.py`: : contient les fonctions utilisée pour importer/exporter les fichiers dans/en dehors du programme.
 
-## A réaliser
-- [Fonctionnalité] Ajouter la fonction d'import de fichier DIMACS
-- [Fonctionnalité] [Optionnel] Annuler/Refaire dans GUI ?
-- [Fonctionnalité] [Optionnel] Ajouter une interface ligne de commande ?
-
 ## Auteurs
 Dylan ROBINS
 Lucas DREZET