![[malb]](http://www.informatik.uni-bremen.de/~malb/images/blog.png "back to main"){kind=small}
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.
