dolfin.cpp.common.
has_tao
Return true if DOLFIN is compiled with PETSc and PETSc version provides TAO