Thin Pycosat wrapper that aims to simplify descriptions of boolean satisfiability problems