Differences

This shows you the differences between two versions of the page.

--- start [2017/04/27 17:38] – wanderduck
+++ start [2017/04/29 00:32] (current) – wanderduck
@@ Line 23: / Line 23: @@
 The command to run Buechic to learn the Büchi automaton given by aut.hoa is:
 <code>
-java -jar buechic.jar aut.hoa -aut -table -periodic
+java -jar buechic.jar aut.hoa -table -periodic
 </code>
@@ Line 47: / Line 47: @@
 lazy equivalence check optimization as follows.
 <code>
-java -jar buechic.jar aut.hoa -aut  -table -periodic -lazyeq
+java -jar buechic.jar aut.hoa  -table -periodic -lazyeq
 </code>
@@ Line 148: / Line 148: @@
      * {{ :goal-slice-double.zip |Slice}}
 . The Büchi Automata from NCSB-complementation and the log files are listed as below.
+  * {{ :ncsb-automata.zip |NCSB automata in HOA format}}
   * {{ :buechic-ncsb.zip |single complementation on NCSB-complementation of Buechic}}
   * single complementation on NCSB-complementation of GOAL:
@@ Line 155: / Line 156: @@
      * {{ :goal-rank.zip |Rank}}
      * {{ :goal-slice.zip |Slice}}
 ----