SolverInspectionSnapshot
constructor(operators: List<OperatorPresentation> = emptyList(), flags: List<FlagPresentation> = emptyList(), libraries: List<LibraryPresentation> = emptyList(), staticKnowledgeBase: String = "", dynamicKnowledgeBase: String = "")