admin c7ccd28dec feature: better section overview including scan result

2023-07-09 18:59:09 +02:00

..

model_base.py

feature: better section overview including scan result

2023-07-09 18:59:09 +02:00

model_code.py

feature: better section overview including scan result

2023-07-09 18:59:09 +02:00

model_data.py

feature: minimizer (deactivated)

2023-07-07 15:57:22 +02:00

model_verification.py

refactor: syntax

2023-07-06 13:54:58 +02:00