output of boolean constraints