Add Atom solver and a trivial unit test (no solver iterations).