Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

  • Erwan Jahier's avatar
    lurette 0.93 Wed, 25 Sep 2002 09:56:41 +0200 by jahier · e9325bcf
    Erwan Jahier authored
    Parent-Version:      0.92
    Version-Log:
    
    source/formula.ml:
    source/solver.ml:
    source/parse_env.ml:
       Handle boolean equalities with Bdd.eq instead of manually
       converting it with <<and>>, <<not>> and <<or>>.
    
    Project-Description: Lurette
    e9325bcf
lurette.prj 6.2 KB