Automatically generates examples of Boolean networks from properties on the controllability of their synchronous, aysnchronous, and general asynchronous dynamics before and after reduction by variable ...