LICENSE.txt
MANIFEST.in
README.rst
setup.py
C:/Users/welch/Documents/projects/tt/tt/_clibs/picosatmodule.c
C:/Users/welch/Documents/projects/tt/tt/_clibs/picosat/picosat.c
docs/Makefile
docs/author.rst
docs/conf.py
docs/development.rst
docs/index.rst
docs/make.bat
docs/prior_art.rst
docs/release_notes.rst
docs/special_thanks.rst
docs/user_guide.rst
docs/_static/custom.css
docs/_static/logo.png
docs/api/cli.rst
docs/api/definitions.rst
docs/api/errors.rst
docs/api/expressions.rst
docs/api/satisfiability.rst
docs/api/tables.rst
docs/api/transformations.rst
docs/api/trees.rst
docs/user_guide/expression_basics.rst
docs/user_guide/table_basics.rst
tt/__init__.py
tt/__main__.py
tt/version.py
tt/_assertions/__init__.py
tt/_assertions/collections.py
tt/_clibs/__init__.py
tt/_clibs/picosatmodule.c
tt/_clibs/_compat/stdint.h
tt/_clibs/_compat/tt_cpython_compat.h
tt/_clibs/picosat/LICENSE
tt/_clibs/picosat/VERSION
tt/_clibs/picosat/picosat.c
tt/_clibs/picosat/picosat.h
tt/cli/__init__.py
tt/cli/core.py
tt/cli/utils.py
tt/definitions/__init__.py
tt/definitions/grammar.py
tt/definitions/operands.py
tt/definitions/operators.py
tt/errors/__init__.py
tt/errors/arguments.py
tt/errors/base.py
tt/errors/evaluation.py
tt/errors/grammar.py
tt/errors/state.py
tt/errors/symbols.py
tt/expressions/__init__.py
tt/expressions/bexpr.py
tt/satisfiability/__init__.py
tt/satisfiability/picosat.py
tt/tables/__init__.py
tt/tables/truth_table.py
tt/transformations/__init__.py
tt/transformations/bexpr.py
tt/transformations/utils.py
tt/trees/__init__.py
tt/trees/tree_node.py
ttable.egg-info/PKG-INFO
ttable.egg-info/SOURCES.txt
ttable.egg-info/dependency_links.txt
ttable.egg-info/entry_points.txt
ttable.egg-info/top_level.txt