PROGRAMS BY bool-expr-solve.sf.net