niklasso/minisat — pull request #5 by PetterS (2013-06-19 09:12:16+00:00)
Title: Update CMakeLists.txt to compile with optimizations.

minisat runs 10x faster on my system with this change.