项目作者: 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)