def check(self):
        return self._solver.check()
unsubscribe the client to the channel
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.check--crossover with--dataset/ETHPy150Open urielka/shaveet/shaveet/api.py/unsubscribe