A tableau-based satisfiability checker for ATL* — Alternating-time Temporal Logic - View it on GitHub