Compile: type "mvn package"
You can then find the jar file in target directory and use run.sh to test it on all benchmarks.
Note that main.Main and main.RunRabit are hard coded.
Complementation of Semi-deterministic Büchi (nested word) automata
Compile: type "mvn package"
You can then find the jar file in target directory and use run.sh to test it on all benchmarks.
Note that main.Main and main.RunRabit are hard coded.
Complementation of Semi-deterministic Büchi (nested word) automata
GNU Lesser General Public License v3.0