PyPy and constraints

[Paddy]

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/