Coalgebraic Logic Satisfiability Solver