  The tool mpbn offers a Python programming interface for an easy interactive
editing of Boolean networks and the efficient computation of elementary
properties of their dynamics, including fixed points, trap spaces, and
reachability properties under the Most Permissive update mode. Relying on
Answer-Set Programming logical framework, we show that mpbn is scalable to
models with several thousands of nodes and is one of the best-performing tool
for computing minimal and maximal trap spaces of Boolean networks, a key
feature for understanding and controling their stable behaviors. The tool is
available at https://github.com/bnediction/mpbn.
