<filename>tests/cases/demorgan.py
#!/usr/bin/env python3

from py2many.smt import check_sat


def demorgan(a: bool, b: bool) -> bool:
    (a and b) == (not ((not a) or (not b)))


assert not demorgan
check_sat()

<filename>tests/cases/demorgan.py
#!/usr/bin/env python3

from py2many.smt import check_sat


def demorgan(a: bool, b: bool) -> bool:
    (a and b) == (not ((not a) or (not b)))


assert not demorgan
check_sat()

#!/usr/bin/env python3