Considerable faster generation time (3 days -> 30 minutes)
No need for pre-processing and post-processing off .nq generated by the original WatDiv
Closer to BSBM specifications
Disadvantages:
WatDiv is no longer generic, i.e, every fine-grained constraints have to be hardcoded in WatDiv. Note: there is a generic strip-down version of WatDiv on my repo.
As of now, WatDiv is not capable of generating BSBM dataset, as defined by BSBM specification. The missing features are listed below: