Nantes Université

Correction of #757 SimplifyBooleanAssertion

Merged BRAULT Benjamin requested to merge E145603P/projet-2019:master into master

Merge request reports