Paddy wrote: > Ziga Seilnacht wrote: > > Paddy wrote: > > > 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.
- P.S. Constrained random techniques are also used for testing software, e.g: http://www.yendor.com/testing/ -- http://mail.python.org/mailman/listinfo/python-list