FEAT: solve now returns set of operations.
DOC: fix example in README.rst.