firedrakeproject/firedrake — pull request #6 by wence- (2013-10-07 15:48:09+00:00)
Title: Set snes options

Addresses issue #2, I hope.