diff --git a/assets/glossary.tex b/assets/glossary.tex index 50855e4..fd657c8 100644 --- a/assets/glossary.tex +++ b/assets/glossary.tex @@ -488,8 +488,8 @@ \newglossaryentry{slv-mod}{ name={solver model}, description={ - A solver model is a \gls{instance} of a \gls{model} where all \glspl{constraint} and \gls{variable} types are \gls{native} for the targeted \gls{solver}. - \glspl{instance} of \glspl{model} containing non-native \glspl{constraint} and/or \gls{variable} types can be transformed into solver models through the process of \gls{rewriting} + A \gls{instance} of a \gls{model} where all \glspl{constraint} and \gls{variable} types are \gls{native} for the targeted \gls{solver}. + \Glspl{instance} of \glspl{model} containing non-native \glspl{constraint} and/or \gls{variable} types can be transformed into solver models through the process of \gls{rewriting} }, }