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.