Initial commit w/stubbed Solver + end-to-end tests