Just somewhat related -- the constraint package of logilab:
http://www.logilab.org/projects/constraint/documentation
It only works with finite domains and isn't very fast, I believe.
Might still be a source of inspiration; I don't know :}
--
Magnus Lie Hetland "Canned Bread: The greatest thing since sliced
http://hetland.org bread!" [from a can in Spongebob Squarepants]
|
