Finding Cycles in Synchronous Boolean Networks With Applications to Biochemical Systems | Synapse