SAT solver verification of Vale's field arithmetic https://git.zx2c4.com/vale-gf25519-verification/atom/ssh:/git@git.zx2c4.com?h=master