• Erwan Jahier's avatar
    lurette 0.83 Tue, 03 Sep 2002 13:37:10 +0200 by jahier · dad7b1f2
    Erwan Jahier authored
    Parent-Version:      0.82
    Version-Log:
    
    source/lurette.ml:
    source/lurettetop.ml:
    source/command_line.ml, .mli:
    source/solver.ml:
    source/env_state.ml:
    source/rnumsolver.ml:
       Add 2 news options, --draw-edges ans --draw-verteces that makes
       lurette draw among the verteces or on the edges of the convex hull
       of solutons.
    
    Project-Description: Lurette
    dad7b1f2
lurettetop.ml 19.5 KB