Skip to content

Terminology for agent versus "standard" values in extensive games#642

Merged
tturocy merged 38 commits into
masterfrom
dev_terminology
Jan 2, 2026
Merged

Terminology for agent versus "standard" values in extensive games#642
tturocy merged 38 commits into
masterfrom
dev_terminology

Tidy up tests now that information set sorting is obsolete.

5f782ce
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.