A suite of tools for boolean evaluation