De forma geral, as restrições são implementadas como uma extensão de uma
linguagem já existente. Estas, operam sobre domínios específicos, sendo os mais usuais os seguintes:
- booleanos
- números inteiros e racionais
- lineares
- finitos
- mistos (vários dos anteriores)