Olivier JUAN
Results
1
issues of
Olivier JUAN
Using Papilo 2.2.0 with only col singleton enabled I got an issue when reducing this problem. It should be trivally reduced to 0 but instead it is trivially reduced to...