-
Jean-Christophe Filliâtre authored
this time we prevent the code from cheating: the weights of the balls are now in a ghost array, and we specify which subset are put on the balance
5658e675
this time we prevent the code from cheating: the weights of the balls are now in a ghost array, and we specify which subset are put on the balance