Programas por eclipseclp.org

O Sistema de Programação Lógica de Restrição ECLiPSe foi projetado para resolver problemas de otimização combinatória, para o desenvolvimento de novas tecnologias de solucionador de restrição e seus híbridos, e para o ensino