PyPy and constraints

[Paddy]

I followed the recent anouncement of version 0.9 of PyPi and found out
that there was work included on adding constraint satisfaction solvers
to PyPy:
  http://codespeak.net/pypy/dist/pypy/doc/howto-logicobjspace-0.9.html

I was wondering if this was a possibiity for "mainstream" python, and
wether the the algorithms used could handle the kind of use mentioned
here:

http://groups.google.com/group/comp.lang.python/browse_frm/thread/d297170cfbf1bb34/d4773320e3417d9c?q=constraints+paddy3118&rnum=3#d4773320e3417d9c

Thanks, Paddy.