safra Safra的确定算法

萨夫拉确定Saftra确定算法在omega-automata上的实现。建造只需运行make！用法./safra input_file [-o output_file] [-c convert_file]读取input_file中的Buechi自动机。在output_file中输出相应的Rabin自动机。如果没有提供output_file，则输出到标准输出。输出格式是graphviz的点文件格式。如果提供了convert_file，则输入文件也被转换为点文件格式并写入convert_file。