Since v1.5.0, there is a change in the way Blawx does hypothetical reasoning in the RPS example. The previous version of the example made players abducible, and did not have a disunity rule. It found three solutions to how there could be a winner of a game.
The new version of the code, if you use the same configuration, finds only two scenarios unless you add the disunity, and make the two players explicit.
It's not clear to me why that's happening, or if it's even technically a bug, but it seems worth digging into and see if there is a way to simplify access to hypotheticals.
Since v1.5.0, there is a change in the way Blawx does hypothetical reasoning in the RPS example. The previous version of the example made players abducible, and did not have a disunity rule. It found three solutions to how there could be a winner of a game.
The new version of the code, if you use the same configuration, finds only two scenarios unless you add the disunity, and make the two players explicit.
It's not clear to me why that's happening, or if it's even technically a bug, but it seems worth digging into and see if there is a way to simplify access to hypotheticals.