• Erwan Jahier's avatar
    lurette 0.126 Fri, 21 Feb 2003 18:49:20 +0100 by jahier · 5a165497
    Erwan Jahier authored
    Parent-Version:      0.125
    Version-Log:
    
    source/command_line_luc_exe.ml:
    source/command_line_luc_exe.mli:
    source/command_line.ml:
    source/command_line.mli:
    source/luc_exe.ml:
    source/lurette.ml:
    source/lurettetop.ml:
       Add the possibility to set the precision from lucky and lurette command
    lines.
    
       Remove the draw-vertices stuff.
    
    source/command_line_luc_exe.ml:
    source/command_line_luc_exe.mli:
    source/luc_exe.ml:
       Also add the --edges and the inside options for lucky.
    
    source/parse_env.ml:
      Allow to forget empty fields in the automata format.
    
    source/store.ml:
       Plug the new drawing heuristic
    
    Project-Description: Lurette
    5a165497
solver.ml 29 KB