• Erwan Jahier's avatar
    lurette 1.7 Fri, 10 Oct 2003 14:01:43 +0200 by jahier · 79b18f3b
    Erwan Jahier authored
    Parent-Version:      1.6
    Version-Log:
    
    source/fair_bddd.ml: [new]
    source/fair_bddd.mli: [new]
       The same as bddd, but taking polyhedron volume into account.
    
    source/bddd.ml:
       It is useless to store both bdd and not bdd, because it is just
       so easy to recompute the sol nb of not bdd (by switchinf the
       pair of sol numbers!).
    
    source/lurettetop.ml:
    source/lurette.ml:
    source/luc_exe.ml:
       add a --compute-poly-volume option that makes lurette use
       fair_bddd instead of bddd.
    
    Project-Description: Lurette
    79b18f3b
TODO 5.35 KB