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