Corrected logical error in tabu_with_diversification: self.false_counts[i] not incremented and clause was not checked to see whether it was false or not (whether satisfied or not)
Corrected logical error in tabu_with_diversification: self.false_counts[i] not incremented and clause was not checked to see whether it was false or not (whether satisfied or not)

Imperium-Software/resolver,Imperium-Software/resolver,Imperium-Software/resolver,Imperium-Software/resolver