def __init__(self):
self.problem = constraint.Problem()
self._halt = 0
self.chords = TimeList()
self.harmonies = TimeList()
self.num_solutions = 200 # max nb solutions consider (if too big, then solver takes too long)
# list solutions:
# solutions[i] -> ["<singer><time>", int pitchnum]
# will be sorted in the following way:
# [['s0',int],['s1',int],...,['sN',int],
# ['a0',int],['a1',int],...,['aN',int],
# ['t0',int],['t1',int],...,['tN',int],
# ['b0',int],['b1',int],...,['bN',int]]
self.solutions = []
