README.rst
setup.py
forseti/__init__.py
forseti/converter.py
forseti/formula.py
forseti/parser.py
forseti/prover.py
forseti/util.py
forseti.egg-info/PKG-INFO
forseti.egg-info/SOURCES.txt
forseti.egg-info/dependency_links.txt
forseti.egg-info/requires.txt
forseti.egg-info/top_level.txt
forseti/parsers/__init__.py
forseti/parsers/abstract_parser.py
forseti/parsers/functional_parser.py
forseti/parsers/prefix_parser.py