大数据安全>> Poker-Game>> 返回
项目作者： luongnv89

项目描述 ：
A Poker Game implementation
高级语言： HTML
项目地址: git://github.com/luongnv89/Poker-Game.git
创建时间： 2013-01-16T19:05:17Z
项目社区：https://github.com/luongnv89/Poker-Game
开源协议：
下载


Poker Hands

My project in course: Mathematical Foundations

Language

  • Java
  • Event B (Using Rodin)

Project requirement

Specify and implement a function that compares two poker hands of 5 cards each, dealt from the same pack of cards, and identifies the strongest hand

Project submission

  • Event-B context specifications (./Poker-Rodin)
  • Implementation in the language Java (./Poker-Java)
  • A simple installation process (make, eg) for executing tests on your code (PokerGame.jar)
  • Full documentation linking code to specifications (./RodinSpecifications)