MANIFEST.in
README.md
pyproject.toml
torc_sat/__init__.py
torc_sat/analyzer.py
torc_sat/certificate.py
torc_sat/cli.py
torc_sat/drat.py
torc_sat/parser.py
torc_sat.egg-info/PKG-INFO
torc_sat.egg-info/SOURCES.txt
torc_sat.egg-info/dependency_links.txt
torc_sat.egg-info/entry_points.txt
torc_sat.egg-info/requires.txt
torc_sat.egg-info/top_level.txt
torc_sat/detectors/__init__.py
torc_sat/detectors/base.py
torc_sat/detectors/cardinality.py
torc_sat/detectors/chessboard.py
torc_sat/detectors/coloring.py
torc_sat/detectors/conflict_graph.py
torc_sat/detectors/hall.py
torc_sat/detectors/ordering.py
torc_sat/detectors/php.py
torc_sat/detectors/tseitin.py
torc_sat/detectors/xor.py
torc_sat/finance/__init__.py
torc_sat/finance/constraints.py
torc_sat/finance/diagnosis.py
torc_sat/finance/solver.py
torc_sat/topology/__init__.py
torc_sat/topology/boundary.py
torc_sat/topology/cech.py
torc_sat/topology/gf2.py