-
Lonca Emmanuel authored
This bug occurs while maximizing an objective function made of a single literal. In this case, the returned objective values was negated.
34e1aafa
This bug occurs while maximizing an objective function made of a single literal. In this case, the returned objective values was negated.