Finite CSP solvers for modal satisfiability