glibersat - Revision 406: /STANdsl/STAN/src/fr/lifl/stc/stan/implicitFlow/QuineMcCluskey