Projeto com o código e atividades de pesquisa do projeto MOX: uso de programação por restrições aplicadas à engenharia de software.