apollo-backend/eu.yeger.apollo.model_checker/modelCheckerModule

modelCheckerModule

val modelCheckerModule: Module(source)

Koin-module containing the model-checker services of the backend.

Author

Jan Müller