boolopt update: v1.1

I’ve updated boolopt to fix an output bug pointed out by Chris Gorecki. The net effect was to remove the used list used when finding prime implicants, which was preventing meaningful output for some trivial formulae.

Leave a Reply

Your email address will not be published. Required fields are marked *