ulkb.enumerate_extensions# enumerate_extensions(*args, theory=None, **kwargs)[source]# Enumerates extensions matching criteria. See Theory.enumerate_extensions().