A small function solver for Android