notae/cpfd — pull request #17 by notae (2014-09-09 14:53:41+00:00)
Title: Redesigned domain propagation. (close #16)

Reimplemented domain propagation with Queue instead of
recursive call.