Superconducting Accelerators Design Using Temporal Logic - View it on GitHub