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