SAT Solving Pointers

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.

Advertisements