ocmin - automata minimization ocmin file.oc [options]

ocmin
This tool performs state equivalence checking to reduce the size of the automaton. It takes either oc2 or oc5 files, and outputs the minimized automaton in the same format version; the default output file is module-name_min.oc. set verbose mode define the output file (default is module-name_min.oc) lustre, lus2ec, ecexe, luciole, simec, lus2oc, ec2oc, ocmin, lus2atg, oc2atg, ec2c, poc, lux, lesar, ecverif, xlesar