-
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