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.