jboozer project home page
BOOlean ZEro-one Reduction