Playing cards: Difference between revisions
Content added Content deleted
m (→version 2: appended a value to the EXIT statement.) |
m (added related tasks) |
||
Line 14: | Line 14: | ||
Each card must have a pip value and a suit value which constitute the unique value of the card. |
Each card must have a pip value and a suit value which constitute the unique value of the card. |
||
<br><br> |
|||
Related tasks: |
|||
* [[Card shuffles]] |
|||
* [[Deal cards_for_FreeCell]] |
|||
* [[War Card_Game]] |
|||
* [[Poker hand_analyser]] |
|||
* [[Go Fish]] |
|||
=={{header|ACL2}}== |
=={{header|ACL2}}== |