Atur cara mengikut bool-expr-solve.sf.net