I'm looking for someone to write a little C++ program for generating SAT formulae for hash functions, as presented in
http://csl.sri.com/users/dejan/papers/jovanovic-hashsat-2005.pdf.
The goal is to produce the "HashSAT Formula Generator" as described in 4.3, with sha256 as the test hash function.
I'm offering the equivalent of
50 100 USD in BTC upon completion of the work.