Description: add links to Github and CfS

docs/case/case-description.tex

@@ -81,6 +81,11 @@ understandability. Solution providers are welcome to propose their own
 attributes of interest. In general, this case is proposed as a showcase of the
 current variety of model transformation tools.
 
+All resources for this case are available on
+Github\footnote{\url{https://github.com/TransformationToolContest/ttc2019-tt2bdd}}.
+Please follow the link in the footnote and create a pull request with your own
+solution after you have submitted your description to EasyChair.
+
 The rest of the document is structured as follows:
 Section~\ref{sec:transf-descr} describes the TT2BDD transformation.
 Section~\ref{sec:task-suggestions} several tasks of interest that
@@ -373,6 +378,13 @@ The benchmark consists of three phases:
 \subsection{Solution requirements}
 \label{sec:solut-requ}
 
+Solutions should be forks of the main Github
+project\footnote{\url{https://github.com/TransformationToolContest/ttc2019-tt2bdd}},
+and should be submitted as pull requests after the descriptions have been
+submitted to EasyChair. For details about the submission format, please consult
+the call for
+solutions\footnote{\url{https://www.transformation-tool-contest.eu/cfs.html}}.
+
 Each solution wishing to use the benchmarking framework should print to the
 standard output a line with the following fields, separated by semicolons
 (``;''):