modian (pypi): Simple python library for Boolean networks
Keywords: boolean networks|model checing|teaching