• Pietro Abate's avatar
    API change · df8cc601
    Pietro Abate authored
    Tallying.CS.cup -> union
    Tallying.CS.cap -> prod
    
    lessgeneral m1 m2 check if the constraint set m1 is less general of m2
    df8cc601
var.ml 968 Bytes