def set_precondition(self, condition):
        self._solver.add(condition)
Return weekday (0-6 ~ Mon-Sun) and number of days (28-31) for
dataset/ETHPy150Open programa-stic/barf-project/barf/barf/analysis/codeanalyzer/codeanalyzer.py/CodeAnalyzer.set_precondition--crossover with--dataset/ETHPy150Open babble/babble/include/jython/Lib/calendar.py/monthrange