denis_berthier wrote:.
Without being a java programmer, I could include creint's changes into PGXplainer (instead of PGExplainer). Indeed, the two changes are independent and you can make the above ones given by creint directly into PGXplainer instead of PGExplainer.
[...]
If anyone wants the resulting version of PGX, PM me.
[Edit]: after someone asked, I created a link:
https://drive.google.com/file/d/1vxl21CkrY_r6Vv5Cbc8DIHmgo_F2S02_/view?usp=share_link
As I have now used this version extensively to rate the 5,926,343 minimal controlled-bias puzzles, I have given it a name (FPGX, F for "faster") and added it to the PROGRAMS part of the controlled-bias repository on GitHub: https://github.com/denis-berthier/Controlled-bias_Sudoku_generator_and_collection
where I've also added a specific README.md file listing the modifications made from Sudoku Explainer.
1to9only and creint, could you have a look at this file, check that I made no errors and/or suggest changes? https://github.com/denis-berthier/Controlled-bias_Sudoku_generator_and_collection/tree/master/PROGRAMS/FPGX#readme
FPGX is the version I highly recommend to use in replacement of SER: it is much faster and it solves some of the problems of isomorphism dependency.
It seems there may appear differences of 0.1 in the SER and FPGX ratings - but, considering that SER thresholds are arbitrary, such differences are totally meaningless.
In my estimates, the time ratio FPGX/SER (i.e. total processor time, not apparent time) varies between 0.7 and 0.5.
.
