CMakeLists.txt
LICENSE
MANIFEST.in
README.md
pyproject.toml
requirements.txt
setup.py
lib/pybind11/CMakeLists.txt
lib/pybind11/include/pybind11/attr.h
lib/pybind11/include/pybind11/buffer_info.h
lib/pybind11/include/pybind11/cast.h
lib/pybind11/include/pybind11/chrono.h
lib/pybind11/include/pybind11/common.h
lib/pybind11/include/pybind11/complex.h
lib/pybind11/include/pybind11/eigen.h
lib/pybind11/include/pybind11/embed.h
lib/pybind11/include/pybind11/eval.h
lib/pybind11/include/pybind11/functional.h
lib/pybind11/include/pybind11/gil.h
lib/pybind11/include/pybind11/gil_safe_call_once.h
lib/pybind11/include/pybind11/iostream.h
lib/pybind11/include/pybind11/numpy.h
lib/pybind11/include/pybind11/operators.h
lib/pybind11/include/pybind11/options.h
lib/pybind11/include/pybind11/pybind11.h
lib/pybind11/include/pybind11/pytypes.h
lib/pybind11/include/pybind11/stl.h
lib/pybind11/include/pybind11/stl_bind.h
lib/pybind11/include/pybind11/type_caster_pyobject_ptr.h
lib/pybind11/include/pybind11/typing.h
lib/pybind11/include/pybind11/detail/class.h
lib/pybind11/include/pybind11/detail/common.h
lib/pybind11/include/pybind11/detail/descr.h
lib/pybind11/include/pybind11/detail/init.h
lib/pybind11/include/pybind11/detail/internals.h
lib/pybind11/include/pybind11/detail/type_caster_base.h
lib/pybind11/include/pybind11/detail/typeid.h
lib/pybind11/include/pybind11/eigen/common.h
lib/pybind11/include/pybind11/eigen/matrix.h
lib/pybind11/include/pybind11/eigen/tensor.h
lib/pybind11/include/pybind11/stl/filesystem.h
lib/pybind11/tools/FindCatch.cmake
lib/pybind11/tools/FindEigen3.cmake
lib/pybind11/tools/FindPythonLibsNew.cmake
lib/pybind11/tools/JoinPaths.cmake
lib/pybind11/tools/pybind11Common.cmake
lib/pybind11/tools/pybind11NewTools.cmake
lib/pybind11/tools/pybind11Tools.cmake
src/cpp/addtree.cpp
src/cpp/addtree.hpp
src/cpp/basics.hpp
src/cpp/block_store.hpp
src/cpp/box.hpp
src/cpp/features.hpp
src/cpp/fp.hpp
src/cpp/fp_search.cpp
src/cpp/fp_search.hpp
src/cpp/heuristics.hpp
src/cpp/interval.hpp
src/cpp/json_io.cpp
src/cpp/json_io.hpp
src/cpp/json_io_nlohmann.cpp
src/cpp/leafiter.hpp
src/cpp/tree.cpp
src/cpp/tree.hpp
src/python/dtai_veritas.egg-info/PKG-INFO
src/python/dtai_veritas.egg-info/SOURCES.txt
src/python/dtai_veritas.egg-info/dependency_links.txt
src/python/dtai_veritas.egg-info/not-zip-safe
src/python/dtai_veritas.egg-info/requires.txt
src/python/dtai_veritas.egg-info/top_level.txt
src/python/veritas/__init__.py
src/python/veritas/addtree_conversion.py
src/python/veritas/groot.py
src/python/veritas/kantchelian.py
src/python/veritas/lgbm_converter.py
src/python/veritas/robustness.py
src/python/veritas/sklearn_converter.py
src/python/veritas/smt.py
src/python/veritas/util.py
src/python/veritas/xgb_converter.py
src/python/veritas/z3backend.py
tests/gen_models.py
tests/generate_models.py
tests/readme_code.py
tests/test_converters.py
tests/test_groot.py
tests/test_rfmodel.py
tests/test_search.py
tests/test_tree.py
tests/test_verifier.py
tests/test_z3backend.py
tests/data/img.npy
tests/models/rf-img-multiclass.json
tests/models/rf_model.json
tests/models/xgb-img-easy-new.json
tests/models/xgb-img-easy.json
tests/models/xgb-img-hard-new.json
tests/models/xgb-img-hard.json
tests/models/xgb-img-multiclass-multivalue.json
tests/models/xgb-img-multiclass-very-easy.json
tests/models/xgb-img-multiclass.json
tests/models/xgb-img-very-easy-new.json
tests/models/xgb-img-very-easy.json