OneZeroMiner 1.2.0

Changelog This release is mainly to support dynexsolve 2.3.0. Support for ML, SAT and MAXSAT jobs Adaptive stepsize Randomized parameters Double precision accuracy

Note: The hashrates of this version is significantly lower than v1.1.3 because of all the changes made.