[Spot] check for the emptyness of the automata

Dear Sir: I want to ask whether SPOT integrate some algorithm that can check the generated autoamta's emptyness ? Recently I want to use SPOT to do the LTL satisfiability checking. If you do not, I have to combine SPOT with SPIN to achieve that. Thanks very much! -- Best Regards Jianwen