Contents

Design

Module dependency diagrams and complete specifications, with representation invariants and abstraction functions are available on line.

Implementation

All of the source code to AntiChess is available on line.