Xenoncat's solver integrated into nheqminer

[root]

Same exact numbers here, this is great!