This is just a quick note to point out two SAT-solving sources relevant for cryptography.
- Michael Brickenstein provides an alternative approach for ANF to CNF conversion in his PolyBoRi scripts collection.
- Mate Soos makes his changes to MiniSat available on his website. Those changes are meant to make it more suitable for cryptographic applications, hence the name CryptoMiniSat.
Have fun.