force rebuild

Author: yanntm

README.md

@@ -10,3 +10,5 @@ If you would prefer a command line interaction, download the version for your pl
 You might also be looking for the version of ITS-Tools packaged for the Model Checking Contest that is distributed from here https://github.com/yanntm/ITS-Tools-MCC
 
 ITS-Tools is distributed under the terms of GPL v3.
+
+LIP6, CNRS & Sorbonne Université