boolopt
Impelled by boredom and procrastination, I've packaged up a propositional logic minimizer I wrote last Summer. It's a cute little thing, written in Python. I used it for optimizing queries on a bioinformatics graph database, but it's a generally handy thing.