3SAT solving - An alternative to brute force bitcoin mining? (opens in new tab)(jheusser.github.com)6clearly13y ago0