2006-07-13
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.
Filed by Michael Greenberg on 2006-07-13 at 7:59am under Software
