New AC solution to Monocycle

A solver for Monocycle that does not build an explicit state-space
graph.