-
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