Juraj Hlista 87ee39ffb0 Export verify_proof/4 and add get_target/2
verify_proof/4 checks that a solution is a valid solution it doesn't check
it against any target.

get_target/2 returns the target of a solution in integer form
(not scientific).
2019-03-12 12:21:29 +07:00
..