This is a pencil game based on "resolution".
Though the resolution is a basic tool for automated theorem proving, it's a very simple rule.
In this game, it is realized as a rule for erasing characters.
There are no reviews or ratings yet! To leave the first one please