from shatter import solver as s


@s.solve()
def double_input(a):
    pass


@s.solve()
def identity(a):
    pass


@s.solve()
def not_identity(a):
    pass


@s.solve()
def hard_identity(a):
    pass


@s.solve()
def and_f(a, b):
    pass


@s.solve()
def false_and(a, b):
    pass


@s.solve()
def xor_f(a, b):
    pass


@s.solve()
def complex(a, b, c, d):
    pass


@s.solve()
def complex_2(a, b, c, d, e, f, g, h, i, j):
    pass


@s.solve()
def only_boolean(a, b):
    pass
