Maxsat fails with java.lang.ArrayIndexOutOfBoundsException
On the following trivial problem
p wcnf 401432 1 729 729 -378671 59559 0
sat4j 2.3.2 fails with the following error (this works fine in 2.3.1 built on the same machine):
c declared #vars 401432 c #constraints 1 c constraints type c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1 c 1 constraints processed. Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 378671 at org.sat4j.minisat.core.Solver.primeImplicant(Unknown Source) at org.sat4j.tools.SolverDecorator.primeImplicant(Unknown Source) at org.sat4j.pb.ObjectiveFunction.calculateDegreeImplicant(Unknown Source) at org.sat4j.pb.PseudoOptDecorator.calculateObjective(Unknown Source) at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(Unknown Source) at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(Unknown Source) at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source) at org.sat4j.AbstractLauncher.run(Unknown Source) at org.sat4j.maxsat.GenericOptLauncher.main(Unknown Source)
Best, Michael