LICENSE
MANIFEST.in
README.md
VERSION
pyproject.toml
setup.py
2ppy.egg-info/PKG-INFO
2ppy.egg-info/SOURCES.txt
2ppy.egg-info/dependency_links.txt
2ppy.egg-info/not-zip-safe
2ppy.egg-info/requires.txt
2ppy.egg-info/top_level.txt
test/core/__init__.py
test/core/test_formatters.py
test/core/test_kt_math.py
test/core/test_terms.py
test/core/test_visitors.py
test/core/operators/__init__.py
test/core/operators/test_operators.py
test/solve/__init__.py
test/solve/problog/__init__.py
test/solve/problog/problog_example.py
tuprolog/__init__.py
tuprolog/__main__.py
tuprolog/jvmioutils.py
tuprolog/jvmutils.py
tuprolog/pyutils.py
tuprolog/unify.py
tuprolog/core/__init__.py
tuprolog/core/_ktadapt.py
tuprolog/core/_ktmath.py
tuprolog/core/comparators.py
tuprolog/core/exception.py
tuprolog/core/formatters.py
tuprolog/core/parsing.py
tuprolog/core/visitors.py
tuprolog/core/operators/__init__.py
tuprolog/core/operators/_ktadapt.py
tuprolog/libs/2p-0.20.3-full.jar
tuprolog/libs/__init__.py
tuprolog/solve/__init__.py
tuprolog/solve/_ktadapt.py
tuprolog/solve/channel/__init__.py
tuprolog/solve/classic/__init__.py
tuprolog/solve/data/__init__.py
tuprolog/solve/exception/__init__.py
tuprolog/solve/exception/error/__init__.py
tuprolog/solve/exception/error/domain/__init__.py
tuprolog/solve/exception/error/evaluation/__init__.py
tuprolog/solve/exception/error/existence/__init__.py
tuprolog/solve/exception/error/instantiation/__init__.py
tuprolog/solve/exception/error/message/__init__.py
tuprolog/solve/exception/error/permission/__init__.py
tuprolog/solve/exception/error/representation/__init__.py
tuprolog/solve/exception/error/syntax/__init__.py
tuprolog/solve/exception/error/system/__init__.py
tuprolog/solve/exception/error/type/__init__.py
tuprolog/solve/exception/warning/__init__.py
tuprolog/solve/flags/__init__.py
tuprolog/solve/function/__init__.py
tuprolog/solve/library/__init__.py
tuprolog/solve/library/exception/__init__.py
tuprolog/solve/plp/__init__.py
tuprolog/solve/primitive/__init__.py
tuprolog/solve/problog/__init__.py
tuprolog/solve/problog/operators.py
tuprolog/solve/prolog/__init__.py
tuprolog/solve/sideffcts/__init__.py
tuprolog/solve/stdlib/__init__.py
tuprolog/solve/stdlib/function/__init__.py
tuprolog/solve/stdlib/primitive/__init__.py
tuprolog/solve/stdlib/rule/__init__.py
tuprolog/theory/__init__.py
tuprolog/theory/parsing.py
tuprolog/utils/__init__.py
tuprolog/utils/_ktadapt.py