README.md
setup.py
propose/__init__.py
propose.egg-info/PKG-INFO
propose.egg-info/SOURCES.txt
propose.egg-info/dependency_links.txt
propose.egg-info/entry_points.txt
propose.egg-info/requires.txt
propose.egg-info/top_level.txt
propose/ast/__init__.py
propose/ast/_and.py
propose/ast/_or.py
propose/ast/biconditional.py
propose/ast/binary.py
propose/ast/f.py
propose/ast/formula.py
propose/ast/implication.py
propose/ast/literal.py
propose/ast/negation.py
propose/ast/t.py
propose/ast/unary.py
propose/ast/xor.py
propose/builder/__init__.py
propose/lexer/__init__.py
propose/lexer/lexer.py
propose/parser/__init__.py
propose/parser/parser.py
propose/parser/state.py
test/__init__.py
test/test_builder.py