MANIFEST.in
README.rst
VERSION.txt
pyproject.toml
setup.py
passagemath_kissat.egg-info/PKG-INFO
passagemath_kissat.egg-info/SOURCES.txt
passagemath_kissat.egg-info/dependency_links.txt
passagemath_kissat.egg-info/requires.txt
passagemath_kissat.egg-info/top_level.txt
sage/all__sagemath_kissat.py
sage/libs/all__sagemath_kissat.py
sage/libs/kissat.pyx