From d6ca88584cfd7f9732e8f593615b136c2bcc9bb1 Mon Sep 17 00:00:00 2001
From: "Jip J. Dekker" <jip@dekker.one>
Date: Tue, 29 Jun 2021 12:57:03 +1000
Subject: [PATCH] Some small glossary changes

---
 assets/glossary.tex | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

diff --git a/assets/glossary.tex b/assets/glossary.tex
index 39f8450..375f60e 100644
--- a/assets/glossary.tex
+++ b/assets/glossary.tex
@@ -11,7 +11,7 @@
 
 \newglossaryentry{aggregation}{
   name={constraint aggregation},
-  description={This technique combines many smaller \glspl{constraint} into a one or, by exception, a few larger \glspl{constraint}},
+  description={A technique that combines many smaller \glspl{constraint} into a one or, by exception, a few larger \glspl{constraint}},
 }
 
 \newglossaryentry{gls-ampl}{
@@ -31,7 +31,7 @@
 
 \newglossaryentry{gls-ast}{
   name={Abstract Syntax Tree},
-  description={},
+  description={A tree structure representing the syntactic structure of a piece of computer language. These structures are often used in a \gls{compiler} or \gls{interpreter}},
 }
 
 \newglossaryentry{annotation}{
@@ -334,12 +334,16 @@
 
 \newglossaryentry{minizinc}{
   name={Mini\-Zinc},
-  description={},
+  description={
+		The primary \gls{cml} studied in this thesis.
+		MiniZinc is the successor to \gls{zinc} introduced in 2007 \autocite{nethercote-2007-minizinc}.
+		An open-source implementation of the language is available \autocite{minizinc-2021-minizinc}
+		},
 }
 
 \newglossaryentry{normal-form}{
   name={normal form},
-  description={},
+  description={A \gls{trs} has reached its normal form when no more rewriting rules can be applied},
 }
 
 \newglossaryentry{gls-mip}{
@@ -452,7 +456,7 @@
 
 \newglossaryentry{propagator}{
   name={propagator},
-  description={},
+  description={An algorithm that perform \gls{propagation} for a \gls{constraint}},
 }
 
 \newglossaryentry{qcp-max}{