Subset de Flop dans les solvers

Bonjour,
Une question de Fred sur le groupe Facebook de PA

Hello les amis, vous utilisez quels subsets de flops ? Est-ce que les Kuba sont toujours d’actualité, et dans quelles situations vous utilisez 25,49,… ?
Si un expert du solver peut nous donner un petit avis ce serait cool !

De rien

1 « J'aime »

Merci @Weskerise pour ta réponse et merci @Eloi pour avoir relayé ma question. Ok donc c’est les subsets Kuba.

1 « J'aime »