Sketchbook: logical model inference from Boolean network sketches

<h4>Summary</h4>Sketchbook is a tool for design and analysis of <i>Boolean network sketches</i>, a framework for partial specification of Boolean network models combining static and dynamic logical constraints. The tool combines an intuitive graphical interface with a high-performance inference engine able to efficiently compute the whole set of all admissible candidate models.<h4>Availability and implementation</h4>All software and data are freely available as a reproducible artefact at https://doi.org/10.5281/zenodo.15828328. The up-to-date version of the tool is accessible through https://github.com/sybila/biodivine-sketchbook.