#! /usr/bin/env python2.7


from __future__ import print_function

import sys
sys.path.append("../../include")

import PyBool_public_interface as Bool


if __name__ == "__main__":
    expr = Bool.parse_std("input.txt")
    expr = expr["main_expr"]

    expr = Bool.simplify(expr)

    expr = Bool.nne(expr)

    print(Bool.print_expr(expr))

[((78, 110), 'sys.path.append', 'sys.path.append', (['"""../../include"""'], {}), "('../../include')\n", (93, 110), False, 'import sys\n'), ((191, 218), 'PyBool_public_interface.parse_std', 'Bool.parse_std', (['"""input.txt"""'], {}), "('input.txt')\n", (205, 218), True, 'import PyBool_public_interface as Bool\n'), ((260, 279), 'PyBool_public_interface.simplify', 'Bool.simplify', (['expr'], {}), '(expr)\n', (273, 279), True, 'import PyBool_public_interface as Bool\n'), ((292, 306), 'PyBool_public_interface.nne', 'Bool.nne', (['expr'], {}), '(expr)\n', (300, 306), True, 'import PyBool_public_interface as Bool\n'), ((318, 339), 'PyBool_public_interface.print_expr', 'Bool.print_expr', (['expr'], {}), '(expr)\n', (333, 339), True, 'import PyBool_public_interface as Bool\n')]