Cycle Formulation Solver

Wrote the basic cycle formulation solver (so not a fairness-looking
one); added some test cases for it.