start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| start [2017/04/29 00:31] – wanderduck | start [2017/04/29 00:32] (current) – wanderduck | ||
|---|---|---|---|
| Line 47: | Line 47: | ||
| lazy equivalence check optimization as follows. | lazy equivalence check optimization as follows. | ||
| < | < | ||
| - | java -jar buechic.jar aut.hoa | + | java -jar buechic.jar aut.hoa |
| </ | </ | ||
start.txt · Last modified: 2017/04/29 00:32 by wanderduck