% Note: glossary entries for terms that are acronyms should be prefixed 'gls-'
% so the non-prefixed reference is used to refer to the acronym

% \newglossaryentry{gls-api}{
%   name={API},
%   description={An Application Programming Interface (API) is a particular set
%     of rules and specifications that a software program can follow to access and
%     make use of the services and resources provided by another particular software
%     program that implements that API},
% }

\newglossaryentry{aggregation}{
  name={aggregation},
  description={},
}

\newglossaryentry{gls-ampl}{
  name={AMPL: A Mathematical Programming Language},
  description={},
}

\newglossaryentry{gls-ast}{
  name={Abstract Syntax Tree},
  description={},
}

\newglossaryentry{annotation}{
  name={annotation},
  description={},
}

\newglossaryentry{array}{
  name={array},
  description={},
}

\newglossaryentry{backtrack}{
  name={backtrack},
  description={},
}

\newglossaryentry{gls-cbls}{
  name={constraint-based local search},
  description={},
}

\newglossaryentry{chuffed}{
  name={Chuffed},
  description={},
}

\newglossaryentry{comprehension}{
  name={comprehension},
  description={},
}

\newglossaryentry{conditional}{
  name={conditional},
  description={},
}

\newglossaryentry{constraint}{
  name={constraint},
  description={},
}

\newglossaryentry{constraint-modelling}{
  name={constraint modelling},
  description={},
}

\newglossaryentry{constraint-store}{
  name={constraint store},
  description={},
}


\newglossaryentry{gls-chr}{
  name={constraint handling rules},
  description={},
}

\newglossaryentry{gls-clp}{
  name={constraint logic programming},
  description={},
}

\newglossaryentry{gls-cp}{
  name={constraint programming},
  description={},
}

\newglossaryentry{gls-cse}{
  name={common subexpression elimination},
  description={},
}

\newglossaryentry{confluence}{
  name={confluence},
  description={},
}

\newglossaryentry{gls-csp}{
  name={constraint satisfaction problem},
  description={},
}

\newglossaryentry{gls-cop}{
  name={constraint optimisation problem},
  description={},
}

\newglossaryentry{del-rew}{
  name={delayed rewriting},
  description={},
}

\newglossaryentry{domain}{
  name={domain},
  description={},
}

\newglossaryentry{essence}{
  name={Essence},
  description={},
}

\newglossaryentry{flatzinc}{
  name={Flat\-Zinc},
  description={},
}

\newglossaryentry{gecode}{
  name={Gecode},
  description={},
}

\newglossaryentry{gls-gbac}{
  name={Generalised Balanced Academic Curriculum},
  description={},
}

\newglossaryentry{generator}{
  name={generator},
  description={},
}

\newglossaryentry{global}{
  name={global constraint},
  description={},
}

\newglossaryentry{interval}{
  name={interval},
  description={},
}

\newglossaryentry{knapsack}{
  name={knapsack problem},
  description={},
}

\newglossaryentry{let}{
  name={let expression},
  description={},
}

\newglossaryentry{linear-program}{
  name={linear program},
  description={},
}

\newglossaryentry{gls-lcg}{
  name={lazy clause generation},
  description={},
}

\newglossaryentry{gls-lns}{
  name={large neighbourhood search},
  description={},
}

\newglossaryentry{meta-search}{
  name={meta-search},
  plural={meta-searches},
  description={},
}

\newglossaryentry{microzinc}{
  name={Micro\-Zinc},
  description={},
}

\newglossaryentry{minisearch}{
  name={Mini\-Search},
  description={},
}

\newglossaryentry{minizinc}{
  name={Mini\-Zinc},
  description={},
}

\newglossaryentry{normal-form}{
  name={normal form},
  description={},
}

\newglossaryentry{gls-mip}{
  name={Mixed Integer Programming},
  description={},
}

\newglossaryentry{nanozinc}{
  name={Nano\-Zinc},
  description={},
}

\newglossaryentry{neighbourhood}{
  name={neighbourhood},
  description={},
}

\newglossaryentry{objective}{
  name={objective},
  description={},
}

\newglossaryentry{operator}{
  name={operator},
  description={},
}

\newglossaryentry{gls-opl}{
  name={The OPL optimisation modelling language},
  description={},
}

\newglossaryentry{optional}{
  name={optional},
  description={},
}

\newglossaryentry{restart}{
  name={restart},
  description={},
}

\newglossaryentry{gls-sat}{
  name={boolean satisfiability},
  description={},
}

\newglossaryentry{search-heuristic}{
  name={search heuristic},
  description={},
}

\newglossaryentry{solver}{
  name={solver},
  description={},
}

\newglossaryentry{parameter}{
  name={problem parameter},
  description={},
}

\newglossaryentry{propagation}{
  name={constraint propagation},
  description={},
}

\newglossaryentry{reification}{
  name={reification},
  description={},
}

\newglossaryentry{term}{
  name={term},
  description={},
}

\newglossaryentry{gls-trs}{
  name={term rewriting system},
  description={},
}

\newglossaryentry{termination}{
  name={termination},
  description={},
}

\newglossaryentry{variable}{
  name={decision variable},
  description={},
}

\newglossaryentry{zinc}{
  name={Zinc},
  description={},
}
