The world's smallest x86 chess program: a playable 16-bit DOS chess engine in 272 bytes with a four-ply search, reproducible builds and replayable Z3 proof evidence.
chess-engine chess dos demoscene assembly code-golf x86 z3 retrocomputing codegolf nasm msdos formal-verification 16-bit 8086 80186 com-file x86-assembly sizecoding chess-programming
-
Updated
Aug 24, 2026 - SMT