Two small interface suggestions: first, allow starting a line on any square, not just one with a number (the selection would be canceled if it doesn't connect to a square with a number). This would make selecting lines where the number is in the middle a bit less annoying, requiring only one swipe instead of two. Second, speed up the between-puzzle display a little. I'm an American with a very short attention span, I don't have all day to look at puzzle names :)
I also found a solver on GitHub using Z3 that looks pretty small and readable, if anyone is curious: https://github.com/redfast00/LinjatSolver