BUG: ensure conflict rules are generated for indirectly-provided packages.
FEAT: add basic Policy object.
FEAT: add simple operation classes.
FEAT: add current prototype for solver.
DOC: give a simple example in README.
PKG: add small setup.py.