LICENSE
README.md
setup.py
apronpy/__init__.py
apronpy/abstract0.py
apronpy/abstract1.py
apronpy/box.py
apronpy/cdll.py
apronpy/coeff.py
apronpy/dimension.py
apronpy/environment.py
apronpy/interval.py
apronpy/lincons0.py
apronpy/lincons1.py
apronpy/linexpr0.py
apronpy/linexpr1.py
apronpy/manager.py
apronpy/mpfr.py
apronpy/mpq.py
apronpy/mpz.py
apronpy/oct.py
apronpy/polka.py
apronpy/scalar.py
apronpy/t1p.py
apronpy/tcons0.py
apronpy/tcons1.py
apronpy/texpr0.py
apronpy/texpr1.py
apronpy/var.py
apronpy.egg-info/PKG-INFO
apronpy.egg-info/SOURCES.txt
apronpy.egg-info/dependency_links.txt
apronpy.egg-info/top_level.txt
tests/test_box.py
tests/test_coeff.py
tests/test_environment.py
tests/test_interval.py
tests/test_lincons1.py
tests/test_linexpr1.py
tests/test_mpfr.py
tests/test_mpq.py
tests/test_mpz.py
tests/test_scalar.py
tests/test_tcons1.py
tests/test_texpr1.py
tests/test_var.py