kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models.

The kboolnet toolkit provides a modular, cloud-enabled workflow for the development of rxncon models, as well as their verification, validation, and visualization. This will enable the creation of larger, more comprehensive, and more rigorous models of cell signaling using the rxncon formalism in the future.