private void btnExportBoard_Click(object sender, EventArgs e) { txtBoardData.Text = StateSerializer.ToString(_model.CommittedState); }