foapy Formal order analysis library A longer description of your project goes here... Note This project has been set up using PyScaffold 4.5. For details and usage information on PyScaffold see https://pyscaffold.org/.