• Francois Bobot's avatar
    · c70a9c38
    Francois Bobot authored
     - Ajout de split_conjunction
     - Ajout du choix d'appliquer les transformations avant ou après la séparation
       en un but par contexte (certainement à modifier)
     - Ajout de quelques transformations et plugins
     - ajout des options list-printers et list-transforms
    
    
    
    c70a9c38
driver.ml 13.6 KB