CMakeLists.txt
MANIFEST.in
README.md
setup.cfg
setup.py
cmake/CMakeLists.txt
cmake/config.py.in
lib/pycarl/__init__.py
lib/pycarl/_config.py
lib/pycarl/_version.py
lib/pycarl/infinity.py
lib/pycarl.egg-info/PKG-INFO
lib/pycarl.egg-info/SOURCES.txt
lib/pycarl.egg-info/dependency_links.txt
lib/pycarl.egg-info/not-zip-safe
lib/pycarl.egg-info/top_level.txt
lib/pycarl/cln/__init__.py
lib/pycarl/cln/_config.py
lib/pycarl/cln/formula/__init__.py
lib/pycarl/cln/formula/_config.py
lib/pycarl/cln/parse/__init__.py
lib/pycarl/cln/parse/_config.py
lib/pycarl/convert/__init__.py
lib/pycarl/convert/cln_converter.py
lib/pycarl/convert/gmp_converter.py
lib/pycarl/formula/__init__.py
lib/pycarl/gmp/__init__.py
lib/pycarl/gmp/formula/__init__.py
lib/pycarl/gmp/parse/__init__.py
lib/pycarl/gmp/parse/_config.py
lib/pycarl/parse/__init__.py
lib/pycarl/parse/_config.py
resources/pybind11/.appveyor.yml
resources/pybind11/.gitignore
resources/pybind11/.gitmodules
resources/pybind11/.readthedocs.yml
resources/pybind11/.travis.yml
resources/pybind11/CMakeLists.txt
resources/pybind11/CONTRIBUTING.md
resources/pybind11/ISSUE_TEMPLATE.md
resources/pybind11/LICENSE
resources/pybind11/MANIFEST.in
resources/pybind11/README.md
resources/pybind11/setup.cfg
resources/pybind11/setup.py
resources/pybind11/docs/Doxyfile
resources/pybind11/docs/basics.rst
resources/pybind11/docs/benchmark.py
resources/pybind11/docs/benchmark.rst
resources/pybind11/docs/changelog.rst
resources/pybind11/docs/classes.rst
resources/pybind11/docs/compiling.rst
resources/pybind11/docs/conf.py
resources/pybind11/docs/faq.rst
resources/pybind11/docs/index.rst
resources/pybind11/docs/intro.rst
resources/pybind11/docs/limitations.rst
resources/pybind11/docs/pybind11-logo.png
resources/pybind11/docs/pybind11_vs_boost_python1.png
resources/pybind11/docs/pybind11_vs_boost_python1.svg
resources/pybind11/docs/pybind11_vs_boost_python2.png
resources/pybind11/docs/pybind11_vs_boost_python2.svg
resources/pybind11/docs/reference.rst
resources/pybind11/docs/release.rst
resources/pybind11/docs/requirements.txt
resources/pybind11/docs/_static/theme_overrides.css
resources/pybind11/docs/advanced/classes.rst
resources/pybind11/docs/advanced/embedding.rst
resources/pybind11/docs/advanced/exceptions.rst
resources/pybind11/docs/advanced/functions.rst
resources/pybind11/docs/advanced/misc.rst
resources/pybind11/docs/advanced/smart_ptrs.rst
resources/pybind11/docs/advanced/cast/chrono.rst
resources/pybind11/docs/advanced/cast/custom.rst
resources/pybind11/docs/advanced/cast/eigen.rst
resources/pybind11/docs/advanced/cast/functional.rst
resources/pybind11/docs/advanced/cast/index.rst
resources/pybind11/docs/advanced/cast/overview.rst
resources/pybind11/docs/advanced/cast/stl.rst
resources/pybind11/docs/advanced/cast/strings.rst
resources/pybind11/docs/advanced/pycpp/index.rst
resources/pybind11/docs/advanced/pycpp/numpy.rst
resources/pybind11/docs/advanced/pycpp/object.rst
resources/pybind11/docs/advanced/pycpp/utilities.rst
resources/pybind11/include/pybind11/attr.h
resources/pybind11/include/pybind11/buffer_info.h
resources/pybind11/include/pybind11/cast.h
resources/pybind11/include/pybind11/chrono.h
resources/pybind11/include/pybind11/class_support.h
resources/pybind11/include/pybind11/common.h
resources/pybind11/include/pybind11/complex.h
resources/pybind11/include/pybind11/descr.h
resources/pybind11/include/pybind11/eigen.h
resources/pybind11/include/pybind11/embed.h
resources/pybind11/include/pybind11/eval.h
resources/pybind11/include/pybind11/functional.h
resources/pybind11/include/pybind11/numpy.h
resources/pybind11/include/pybind11/operators.h
resources/pybind11/include/pybind11/options.h
resources/pybind11/include/pybind11/pybind11.h
resources/pybind11/include/pybind11/pytypes.h
resources/pybind11/include/pybind11/stl.h
resources/pybind11/include/pybind11/stl_bind.h
resources/pybind11/include/pybind11/typeid.h
resources/pybind11/pybind11/__init__.py
resources/pybind11/pybind11/__main__.py
resources/pybind11/pybind11/_version.py
resources/pybind11/tests/CMakeLists.txt
resources/pybind11/tests/conftest.py
resources/pybind11/tests/constructor_stats.h
resources/pybind11/tests/object.h
resources/pybind11/tests/pybind11_tests.cpp
resources/pybind11/tests/pybind11_tests.h
resources/pybind11/tests/pytest.ini
resources/pybind11/tests/test_buffers.cpp
resources/pybind11/tests/test_buffers.py
resources/pybind11/tests/test_builtin_casters.cpp
resources/pybind11/tests/test_builtin_casters.py
resources/pybind11/tests/test_call_policies.cpp
resources/pybind11/tests/test_call_policies.py
resources/pybind11/tests/test_callbacks.cpp
resources/pybind11/tests/test_callbacks.py
resources/pybind11/tests/test_chrono.cpp
resources/pybind11/tests/test_chrono.py
resources/pybind11/tests/test_class.cpp
resources/pybind11/tests/test_class.py
resources/pybind11/tests/test_constants_and_functions.cpp
resources/pybind11/tests/test_constants_and_functions.py
resources/pybind11/tests/test_copy_move.cpp
resources/pybind11/tests/test_copy_move.py
resources/pybind11/tests/test_docstring_options.cpp
resources/pybind11/tests/test_docstring_options.py
resources/pybind11/tests/test_eigen.cpp
resources/pybind11/tests/test_eigen.py
resources/pybind11/tests/test_enum.cpp
resources/pybind11/tests/test_enum.py
resources/pybind11/tests/test_eval.cpp
resources/pybind11/tests/test_eval.py
resources/pybind11/tests/test_eval_call.py
resources/pybind11/tests/test_exceptions.cpp
resources/pybind11/tests/test_exceptions.py
resources/pybind11/tests/test_kwargs_and_defaults.cpp
resources/pybind11/tests/test_kwargs_and_defaults.py
resources/pybind11/tests/test_methods_and_attributes.cpp
resources/pybind11/tests/test_methods_and_attributes.py
resources/pybind11/tests/test_modules.cpp
resources/pybind11/tests/test_modules.py
resources/pybind11/tests/test_multiple_inheritance.cpp
resources/pybind11/tests/test_multiple_inheritance.py
resources/pybind11/tests/test_numpy_array.cpp
resources/pybind11/tests/test_numpy_array.py
resources/pybind11/tests/test_numpy_dtypes.cpp
resources/pybind11/tests/test_numpy_dtypes.py
resources/pybind11/tests/test_numpy_vectorize.cpp
resources/pybind11/tests/test_numpy_vectorize.py
resources/pybind11/tests/test_opaque_types.cpp
resources/pybind11/tests/test_opaque_types.py
resources/pybind11/tests/test_operator_overloading.cpp
resources/pybind11/tests/test_operator_overloading.py
resources/pybind11/tests/test_pickling.cpp
resources/pybind11/tests/test_pickling.py
resources/pybind11/tests/test_pytypes.cpp
resources/pybind11/tests/test_pytypes.py
resources/pybind11/tests/test_sequences_and_iterators.cpp
resources/pybind11/tests/test_sequences_and_iterators.py
resources/pybind11/tests/test_smart_ptr.cpp
resources/pybind11/tests/test_smart_ptr.py
resources/pybind11/tests/test_stl.cpp
resources/pybind11/tests/test_stl.py
resources/pybind11/tests/test_stl_binders.cpp
resources/pybind11/tests/test_stl_binders.py
resources/pybind11/tests/test_virtual_functions.cpp
resources/pybind11/tests/test_virtual_functions.py
resources/pybind11/tests/__pycache__/conftest.cpython-36-PYTEST.pyc
resources/pybind11/tests/test_cmake_build/CMakeLists.txt
resources/pybind11/tests/test_cmake_build/embed.cpp
resources/pybind11/tests/test_cmake_build/main.cpp
resources/pybind11/tests/test_cmake_build/test.py
resources/pybind11/tests/test_cmake_build/installed_embed/CMakeLists.txt
resources/pybind11/tests/test_cmake_build/installed_function/CMakeLists.txt
resources/pybind11/tests/test_cmake_build/installed_target/CMakeLists.txt
resources/pybind11/tests/test_cmake_build/subdirectory_embed/CMakeLists.txt
resources/pybind11/tests/test_cmake_build/subdirectory_function/CMakeLists.txt
resources/pybind11/tests/test_cmake_build/subdirectory_target/CMakeLists.txt
resources/pybind11/tests/test_embed/CMakeLists.txt
resources/pybind11/tests/test_embed/catch.cpp
resources/pybind11/tests/test_embed/test_interpreter.cpp
resources/pybind11/tests/test_embed/test_interpreter.py
resources/pybind11/tools/FindCatch.cmake
resources/pybind11/tools/FindEigen3.cmake
resources/pybind11/tools/FindPythonLibsNew.cmake
resources/pybind11/tools/check-style.sh
resources/pybind11/tools/libsize.py
resources/pybind11/tools/mkdoc.py
resources/pybind11/tools/pybind11Config.cmake.in
resources/pybind11/tools/pybind11Tools.cmake
setup/__init__.py
setup/config.py
setup/helper.py
src/common.h
src/definitions.h.in
src/helpers.h
src/mod_cln.cpp
src/mod_core.cpp
src/mod_formula.cpp
src/mod_gmp.cpp
src/mod_parse.cpp
src/mod_typed_formula.cpp
src/mod_typed_parse.cpp
src/types.h
src/core/bound_type.cpp
src/core/bound_type.h
src/core/monomial.cpp
src/core/monomial.h
src/core/variable.cpp
src/core/variable.h
src/formula/formula_type.cpp
src/formula/formula_type.h
src/formula/relation.cpp
src/formula/relation.h
src/typed_core/factorization.cpp
src/typed_core/factorization.h
src/typed_core/factorizedpolynomial.cpp
src/typed_core/factorizedpolynomial.h
src/typed_core/factorizedrationalfunction.cpp
src/typed_core/factorizedrationalfunction.h
src/typed_core/integer.cpp
src/typed_core/integer.h
src/typed_core/interval.cpp
src/typed_core/interval.h
src/typed_core/polynomial.cpp
src/typed_core/polynomial.h
src/typed_core/rational.cpp
src/typed_core/rational.h
src/typed_core/rationalfunction.cpp
src/typed_core/rationalfunction.h
src/typed_core/term.cpp
src/typed_core/term.h
src/typed_formula/common.h
src/typed_formula/constraint.cpp
src/typed_formula/constraint.h
src/typed_formula/formula.cpp
src/typed_formula/formula.h
src/typed_formula/types.h
src/typed_parse/parser.cpp
src/typed_parse/parser.h
src/types/cln_types.h
src/types/gmp_types.h