I link to my app[1] frequently, it's free right now, I hope this is fine. There's no Android version yet; for anyone who wants to try nonograms on an Android smartphone I recommend Simon Tatham's Puzzles[2] - like my app it is also free, has no ads, etc; nonograms there are called "pattern".
Feedback very welcome; thanks! If you use other nonogram solving techniques and want me to add them to the list please share too.
Since you mentioned Simon Tatham puzzles there's a js version here[1], but it really just isn't quite as good
[1] https://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/patt...
(if I were to nitpick, for large grids one might want to make the separating line a bit thicker every 5 blocks for faster counting, and repeat numbers at the bottom/right -- but at the size the examples are in neither are needed)
(BTW you didn't mention for overlapping but there's a nice trick: just try from either end, count how many cells are leftover, and take that off the starting side of each block)