stormpy
stormpy copied to clipboard
Automatic formatting via black + CI support
- Use black for automatic Python code formatting. After installing the black package, code can be formatted using
black .
- CI support for checking and applying code formatting, similar to the Storm and pycarl workflows.