epistemic-tableaux (pypi): A tool for find a model of the formulas
Keywords: epistemic|logic