LICENCE
README.md
pyproject.toml
setup.py
krtek/__init__.py
krtek/coefficients.py
krtek/computation.py
krtek/logic.py
krtek/quantifiers.py
krtek/utils.py
krtek.egg-info/PKG-INFO
krtek.egg-info/SOURCES.txt
krtek.egg-info/dependency_links.txt
krtek.egg-info/requires.txt
krtek.egg-info/top_level.txt
krtek/guha/__init__.py
krtek/guha/cedents.py
krtek/guha/four_ft_miner.py
krtek/guha/generation.py
krtek/redescription/__init__.py
krtek/redescription/reremi.py
krtek/redescription/trie.py