SemiBuchi

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.