Sketchbook: logical model inference from Boolean network sketches | Synapse