01Models signed biological interactions for activation and inhibition
02Simulates Boolean dynamics and identifies steady states
03Supports model export to standard SBML format for interoperability
04Analyzes complex network motifs like feedforward and feedback loops
057 GitHub stars
06Built on rigorous mathematical foundations using double category theory