Baseline tests for hammer domain
Merge pull request #610 from ab268/hammer-cli-sat

Baseline tests for hammer domain