Descrição
Problemas de satisfação de restrições em domínio finito podem ser modelados e resolvidos por código Python. Esta biblioteca é para desenvolvedores e educadores que exploram agenda, puzzles, alocação ou problemas de busca. Resultados do solver dependem das restrições, então modelos devem ser conferidos quanto à completude.