Make solver presence optional in tests.