Re: [pypy-dev] Re: [Python-logic] choco or constraint programming in java