#! /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, 'sys.path.append', 'sys.path.append', False, 'import sys\n'), (13, 'PyBool_public_interface.parse_std', 'Bool.parse_std', True, 'import PyBool_public_interface as Bool\n'), (16, 'PyBool_public_interface.simplify', 'Bool.simplify', True, 'import PyBool_public_interface as Bool\n'), (18, 'PyBool_public_interface.nne', 'Bool.nne', True, 'import PyBool_public_interface as Bool\n'), (20, 'PyBool_public_interface.print_expr', 'Bool.print_expr', True, 'import PyBool_public_interface as Bool\n')]