Packages
ima.uco.fr.nuit.checker  
ima.uco.fr.nuit.model  
ima.uco.fr.nuit.output  
ima.uco.fr.nuit.solchecker