A server and client for letting bots play Texas hold'em