We used to play with gcompris. It has similar puzzles for many different topics like numbers, constraints, logic gates and attention. Lately I found out that it has an android port on f-droid.