# Sketchbook: logical model inference from Boolean network sketches

## TL;DR

Sketchbook is a tool that helps design and analyze Boolean network models using partial specifications and logical constraints.

## Contribution

Sketchbook introduces a framework for partial Boolean network modeling with a graphical interface and efficient inference engine.

## Key findings

- Sketchbook efficiently computes all admissible candidate models from Boolean network sketches.
- The tool combines static and dynamic logical constraints for model inference.
- Software and data are freely available for reproducible research.

## Abstract

Sketchbook is a tool for design and analysis of Boolean network sketches, 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.

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.