try:
    import yowasp_boolector
except ImportError:
    # whatever