Related Experiment Video
Updated: Aug 5, 2026

Automated Robotic Liquid Handling Assembly of Modular DNA Devices
Published on: December 1, 2017
BoolForge: controlled generation and analysis of Boolean functions and networks
Claus Kadelka1, Benjamin Coberly1,2
1Department of Mathematics, Iowa State University, Ames, IA 50011, United States.
Motivation:
Boolean networks are a widely used modeling framework in systems biology for studying gene regulation, signal transduction, and cellular decision-making. Empirical studies indicate that biological Boolean networks exhibit a high degree of canalization, a property of Boolean update rules that stabilizes dynamics and constrains state transitions. Despite its central role, existing software packages provide limited support for the systematic generation of Boolean functions and networks with prescribed canalization properties.
Results:
We present BoolForge, a Python toolbox for the random generation and analysis of Boolean functions and networks, with a particular focus on canalization. BoolForge enables users to (i) generate random Boolean functions with specified canalizing depth, layer structure, and related constraints; (ii) construct Boolean networks with tunable topological and functional properties; and (iii) analyze structural and dynamical features including canalization measures, robustness, modularity, and attractor structure. By enabling controlled generation alongside analysis, BoolForge facilitates ensemble-based investigations of structure-dynamics relationships, benchmarking of theoretical predictions, and construction of biologically informed null models for Boolean network studies.
Availability And Implementation:
BoolForge is implemented in Python (≥3.10) and can be installed via pip install boolforge. Source code and documentation are available at https://github.com/ckadelka/BoolForge. A comprehensive tutorial compendium is available as Supplementary Material at Bioinformatics online.
Related Concept Videos
Network Function of a Circuit
Block Diagram Reduction
The first step in this process is the identification and relocation of a branch point. A branch point, where a...
Relation between Mathematical Equations and Block Diagrams
Signal Flow Graphs
In a signal-flow graph, branches denote the system's transfer functions, while nodes represent the signals. The direction of signal flow is indicated by arrows, with the corresponding...
SFG Algebra
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
Elements of Block Diagrams
A block diagram typically includes essential elements such as comparators, blocks, and feedback loops. Each of these elements...