Thanks for getting this forum started, Børge.
BTW, do we really have to switch to hidden text to discuss any of the techniques used? The gurus over at sudocue.net never did that with the Daily Nightmare forum. Hiding text takes a lot of the fun away IMHO. It's a bit different on the Killer forum here, because we tend to publish detailed walkthroughs, and thus need to be given the time to do that.
Therefore, I'll keep my comments general for now:
Firstly, I would advise against an over-reliance on a specific software solver, which especially applies in the case of JSudoku and advanced vanilla. As
enxio27 already pointed out somewhere on this forum, JSudoku was originally designed for solving Killers. Having said that, Jean-Christophe has clearly been working hard recently to iron out some of its weaknesses in this area (for example, by building in
ALS-XZ,
Sue de Coq,
Finned X-Wing/Swordfish and
Uniqueness Test solvers). But there are still some things I'm asking myself, like:
- Why JSudoku places Skyscrapers so high in the default priority sequence, even above XY-Wings (for example)? I personally would expect most solvers to try XY-Wings first.
- I note that some Skyscrapers found by JSudoku are based on conjugate pairs all the way round (i.e. strong link used as weak link in the middle). AFAIAA, most vanilla solvers would report this as Simple Coloring.
Lastly, how does one reset the solver sequence to default in JSudoku (I'm using
version 1.3b1). I naiively expected to find something like a "Restore defaults" option on the context menu for the solver page.
P.S.
@udosuk: What's a "Strong Wing"? Sorry, but I haven't got the time or energy these days to guess and/or re-invent the wheel!