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. -- http://mail.python.org/mailman/listinfo/python-list
