abik wrote:I compiled DoubleCheck for Android, and it runs reasonably well in the Chess for Android GUI (although it does not support some UCI commands yet). If Lucas gives me permission, I can add the binary to my Android engine download page.
Yes, you have my permission. In fact you don't need my permission

Have a look at the readme file
DoubleCheck is free, and distributed under the GNU General Public License (GPL). Essentially, this means that you are free to do almost exactly what you want with the program, including distributing it among your friends, making it available for download from your web site, selling it (either by itself or as part of some bigger software package), or using it as the starting point for a software project of your own.
The only real limitation is that whenever you distribute DoubleCheck in some way, you must always include the full source code, or a pointer to where the source code can be found. If you make any changes to the source code, these changes must also be made available under the GPL.
For full details, read the copy of the GPL found in the file named copying.txt.
On a technical level, I am a bit sceptical about an android compile: is it a 64 bit compile ? Because if you compile in 32 bit (as I imagine android phones are 32bit ?), it may well "work" but give incorrect results. Have a look at the first_bit and count_bit functions. If they work (given 64 bit input where of course the 32 highest bits are non zero), then you're ok.
Actually you might want to wait a day or two. I've just sent Leo and Graham (by email) a new version that is significantly stronger (and has some basic UCI options).