invoke

operator fun invoke(nameProvider: NameProvider): Solver