#! /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))

[((7, 0, 7, 32), 'sys.path.append', 'sys.path.append', ({(7, 16, 7, 31): '"""../../include"""'}, {}), "('../../include')", False, 'import sys\n'), ((13, 11, 13, 38), 'PyBool_public_interface.parse_std', 'Bool.parse_std', ({(13, 26, 13, 37): '"""input.txt"""'}, {}), "('input.txt')", True, 'import PyBool_public_interface as Bool\n'), ((16, 11, 16, 30), 'PyBool_public_interface.simplify', 'Bool.simplify', ({(16, 25, 16, 29): 'expr'}, {}), '(expr)', True, 'import PyBool_public_interface as Bool\n'), ((18, 11, 18, 25), 'PyBool_public_interface.nne', 'Bool.nne', ({(18, 20, 18, 24): 'expr'}, {}), '(expr)', True, 'import PyBool_public_interface as Bool\n'), ((20, 10, 20, 31), 'PyBool_public_interface.print_expr', 'Bool.print_expr', ({(20, 26, 20, 30): 'expr'}, {}), '(expr)', True, 'import PyBool_public_interface as Bool\n')]