Logic-based modeling of biological networks with Netflux | Synapse