Skip to content

GDS Ecosystem

gds_domains.games

Initializing search

BlockScience/gds-core

Home
Learn
How-To Guides
Reference
Case Studies
Design & Research
Changelog

GDS Ecosystem

BlockScience/gds-core

Home
Learn
Learn
- Start Here
- Getting Started Guide
- Choosing a DSL
- Rosetta Stone
- Learning Path
- Models
  Models
- Building Models
- Feature Matrix
How-To Guides
How-To Guides
Reference
Reference
- Framework
  Framework
  - Quick Reference
  - Getting Started
    Getting Started
    
    Installation
    
    Quick Start
  - User Guide
    User Guide
    
    Architecture
    
    Type System
    
    Spaces
    
    State & Entities
    
    Blocks & Roles
    
    Composition Algebra
    
    Specification
    
    Pipeline
    
    Verification
    
    Glossary
  - API Reference
    
    API Reference
    
    gds
    
    gds.blocks
    
    gds.types
    
    gds.state
    
    gds.spaces
    
    gds.spec
    
    gds.canonical
    
    gds.compiler
    
    gds.ir
    
    gds.verification
    
    gds.query
    
    gds.parameters
    
    gds.serialize
- Visualization
  Visualization
  - Getting Started
  - User Guide
    User Guide
    
    Views
    
    Theming
  - API Reference
    API Reference
    
    gds_viz
    
    gds_viz.canonical
    
    gds_viz.architecture
    
    gds_viz.traceability
    
    gds_viz.mermaid
- Games
  Games
  - Getting Started
  - User Guide
    User Guide
    
    Architecture
    
    Game Types
    
    Patterns & Composition
    
    Verification
    
    Reports
    
    Visualization
    
    CLI
    
    Equilibrium Analysis
  - Design
    Design
    
    Architecture Overview
  - API Reference
    API Reference
    
    gds_domains.games gds_domains.games
    Table of contents
    
    games
    
    gds_domains.games.dsl.types
    
    gds_domains.games.dsl.base
    
    gds_domains.games.dsl.games
    
    gds_domains.games.dsl.composition
    
    gds_domains.games.dsl.pattern
    
    gds_domains.games.dsl.compile
    
    gds_domains.games.dsl.library
    
    gds_domains.games.ir
    
    gds_domains.games.verification
    
    gds_domains.games.viz
    
    gds_domains.games.reports
    
    gds_domains.games.cli
- Business
  Business
- Stock-Flow
  Stock-Flow
  - Getting Started
  - User Guide
    User Guide
    
    Elements & GDS Mapping
    
    Verification
  - API Reference
    API Reference
    
    gds_domains.stockflow
    
    gds_domains.stockflow.dsl.elements
    
    gds_domains.stockflow.dsl.model
    
    gds_domains.stockflow.dsl.compile
    
    gds_domains.stockflow.verification.checks
    
    gds_domains.stockflow.verification
- Control
  Control
  - Getting Started
  - User Guide
    User Guide
    
    Elements & GDS Mapping
    
    Verification
  - API Reference
    API Reference
    
    gds_domains.control
    
    gds_domains.control.dsl.elements
    
    gds_domains.control.dsl.model
    
    gds_domains.control.dsl.compile
    
    gds_domains.control.verification.checks
    
    gds_domains.control.verification
- Software
  Software
- OWL
  OWL
  - Getting Started
  - User Guide
    User Guide
    
    Representability
    
    Formal Analysis
  - API Reference
    API Reference
    
    gds_interchange.owl
    
    gds_interchange.owl.ontology
    
    gds_interchange.owl.export
    
    gds_interchange.owl.import_
    
    gds_interchange.owl.shacl
    
    gds_interchange.owl.sparql
    
    gds_interchange.owl.serialize
- PSUU
  PSUU
  - Getting Started
  - User Guide
    User Guide
    
    Concepts
    
    Parameter Spaces
    
    Optimizers
  - API Reference
    API Reference
    
    gds_analysis.psuu
    
    gds_analysis.psuu.metric
    
    gds_analysis.psuu.kpi
    
    gds_analysis.psuu.evaluation
    
    gds_analysis.psuu.space
    
    gds_analysis.psuu.optimizers
    
    gds_analysis.psuu.sweep
    
    gds_analysis.psuu.results
- Continuous-Time
  Continuous-Time
  - Getting Started
- Symbolic Math
  Symbolic Math
  - Getting Started
- Analysis
  Analysis
  - Getting Started
Case Studies
Case Studies
- Axelrod Tournament
Design & Research
Design & Research
- Design Documents
  Design Documents
- Research
  Research
  - Research Boundaries
  - Paper Implementation Gap
  - Representation Gap
  - Semantic Web Integration
  - Formal Analysis
  - Formal Verification
    Formal Verification
    
    Verification Plan
    
    R3 Non-Representability
    
    R1/R2 Decidability
  - Research Journal
- Roadmaps & Milestones
  Roadmaps & Milestones
- Ecosystem
Changelog

Table of contents

games

gds_domains.games¶

Public API — top-level exports.

Open Games — Typed DSL for Compositional Game Theory.

Made with Material for MkDocs