LICENSE
README.md
pyproject.toml
src/polyhorn/Coefficient.py
src/polyhorn/Constant.py
src/polyhorn/Constraint.py
src/polyhorn/Convertor.py
src/polyhorn/DNF.py
src/polyhorn/Farkas.py
src/polyhorn/Handelman.py
src/polyhorn/Parser.py
src/polyhorn/Polynomial.py
src/polyhorn/PositiveModel.py
src/polyhorn/Putinar.py
src/polyhorn/Solver.py
src/polyhorn/UnknownVariable.py
src/polyhorn/__init__.py
src/polyhorn/main.py
src/polyhorn.egg-info/PKG-INFO
src/polyhorn.egg-info/SOURCES.txt
src/polyhorn.egg-info/dependency_links.txt
src/polyhorn.egg-info/requires.txt
src/polyhorn.egg-info/top_level.txt
tests/test_api.py
tests/test_cmd_tool.py