pynusmv (pypi): Embed NuSMV as a python library
Keywords: Symbolic|model|checking|Epistemic|logic|Tools