Programs: games

19 verified Soma programs in the games domain. Each page shows the source and what soma check, soma test, soma verify and soma run printed on it.

Program	Lines	Uses
Blackjack — hand scoring with soft/hard aces and bust detection hand_value() sums card ranks, counting each Ace as 11 then demoting to 1 while the total busts	86	match
Card deck — build, deterministic Fisher-Yates shuffle, and deal	85
Connect Four — drop a disc and detect four-in-a-row	93
Conway's Game of Life — one generation step on a fixed grid	82
Craps — the come-out roll and point-resolution rules come_out(total) resolves the first roll: 7/11 wins, 2/3/12 craps out, any other number becomes the "point"	77	match
2048 — slide-and-merge a single row (the core move primitive)	77
Number guessing game — hi/lo feedback and a binary-search solver feedback() compares a guess to the secret and returns "low" / "high" / "correct"	67	match
Tower of Hanoi — minimum moves and an explicit move list min_moves(n) = 2^n - 1	78
Mastermind — score a guess with black and white pegs	92	match
Maze movement — one step with wall collision on a grid	82
Minesweeper — compute the neighbour-mine board from a mine layout mines is a flat row-major r×c list of 0/1	77
Nim — optimal play via the Sprague-Grundy nim-sum	75
Pig — the press-your-luck dice game, scored from a roll log	66	lambdas
Rock-paper-scissors — round judging and best-of-N scoring judge(a, b) returns "p1", "p2", or "tie" from the two throws	72	match
Snake — one movement tick with growth, wall and self collision	75	lambdas
Tic-tac-toe win detection — pure board logic	67	lambdas
Turn tracker — round/phase state machine with player rotation	71	a state machine
War — the card-comparison game, played to exhaustion	76
Yahtzee — score a roll of five dice in any category counts() buckets the five dice into face frequencies	99	lambdas