How to use S5cheetah 2.0?
./S5cheetah2.0 [option] [Input_file] [output_file]
[Option] can be:
-minimal=1 use increamental method
-minimal=2 use decremental method
-minimal=3 use binary search
-minimal=4 use MaxSAT
[Input_file] is the path of an
InToHyLo formula file.
[Output_file] is the output file name.