=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for py311-smt-0.9.6 * Building wheel... running bdist_wheel running build running build_py creating build/lib/pysmt copying pysmt/__init__.py -> build/lib/pysmt copying pysmt/__main__.py -> build/lib/pysmt copying pysmt/configuration.py -> build/lib/pysmt copying pysmt/constants.py -> build/lib/pysmt copying pysmt/decorators.py -> build/lib/pysmt copying pysmt/environment.py -> build/lib/pysmt copying pysmt/exceptions.py -> build/lib/pysmt copying pysmt/factory.py -> build/lib/pysmt copying pysmt/fnode.py -> build/lib/pysmt copying pysmt/formula.py -> build/lib/pysmt copying pysmt/logics.py -> build/lib/pysmt copying pysmt/operators.py -> build/lib/pysmt copying pysmt/oracles.py -> build/lib/pysmt copying pysmt/parsing.py -> build/lib/pysmt copying pysmt/printers.py -> build/lib/pysmt copying pysmt/rewritings.py -> build/lib/pysmt copying pysmt/shortcuts.py -> build/lib/pysmt copying pysmt/simplifier.py -> build/lib/pysmt copying pysmt/substituter.py -> build/lib/pysmt copying pysmt/type_checker.py -> build/lib/pysmt copying pysmt/typing.py -> build/lib/pysmt copying pysmt/utils.py -> build/lib/pysmt creating build/lib/pysmt/cmd copying pysmt/cmd/__init__.py -> build/lib/pysmt/cmd copying pysmt/cmd/check_version.py -> build/lib/pysmt/cmd copying pysmt/cmd/install.py -> build/lib/pysmt/cmd copying pysmt/cmd/shell.py -> build/lib/pysmt/cmd creating build/lib/pysmt/smtlib copying pysmt/smtlib/__init__.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/annotations.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/commands.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/printers.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/script.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/solver.py -> build/lib/pysmt/smtlib copying pysmt/smtlib/utils.py -> build/lib/pysmt/smtlib creating build/lib/pysmt/solvers copying pysmt/solvers/__init__.py -> build/lib/pysmt/solvers copying pysmt/solvers/bdd.py -> build/lib/pysmt/solvers copying pysmt/solvers/btor.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvcfive.py -> build/lib/pysmt/solvers copying pysmt/solvers/cvcfour.py -> build/lib/pysmt/solvers copying pysmt/solvers/eager.py -> build/lib/pysmt/solvers copying pysmt/solvers/interpolation.py -> build/lib/pysmt/solvers copying pysmt/solvers/msat.py -> build/lib/pysmt/solvers copying pysmt/solvers/options.py -> build/lib/pysmt/solvers copying pysmt/solvers/pico.py -> build/lib/pysmt/solvers copying pysmt/solvers/portfolio.py -> build/lib/pysmt/solvers copying pysmt/solvers/qelim.py -> build/lib/pysmt/solvers copying pysmt/solvers/smtlib.py -> build/lib/pysmt/solvers copying pysmt/solvers/solver.py -> build/lib/pysmt/solvers copying pysmt/solvers/yices.py -> build/lib/pysmt/solvers copying pysmt/solvers/z3.py -> build/lib/pysmt/solvers creating build/lib/pysmt/test copying pysmt/test/__init__.py -> build/lib/pysmt/test copying pysmt/test/examples.py -> build/lib/pysmt/test copying pysmt/test/test_array.py -> build/lib/pysmt/test copying pysmt/test/test_back.py -> build/lib/pysmt/test copying pysmt/test/test_bdd.py -> build/lib/pysmt/test copying pysmt/test/test_bv.py -> build/lib/pysmt/test copying pysmt/test/test_bv_simplification.py -> build/lib/pysmt/test copying pysmt/test/test_cnf.py -> build/lib/pysmt/test copying pysmt/test/test_configuration.py -> build/lib/pysmt/test copying pysmt/test/test_constants.py -> build/lib/pysmt/test copying pysmt/test/test_cvc_quantifiers.py -> build/lib/pysmt/test copying pysmt/test/test_dwf.py -> build/lib/pysmt/test copying pysmt/test/test_eager_model.py -> build/lib/pysmt/test copying pysmt/test/test_env.py -> build/lib/pysmt/test copying pysmt/test/test_euf.py -> build/lib/pysmt/test copying pysmt/test/test_formula.py -> build/lib/pysmt/test copying pysmt/test/test_hr_parsing.py -> build/lib/pysmt/test copying pysmt/test/test_imports.py -> build/lib/pysmt/test copying pysmt/test/test_int.py -> build/lib/pysmt/test copying pysmt/test/test_interpolation.py -> build/lib/pysmt/test copying pysmt/test/test_lira.py -> build/lib/pysmt/test copying pysmt/test/test_logics.py -> build/lib/pysmt/test copying pysmt/test/test_models.py -> build/lib/pysmt/test copying pysmt/test/test_native_qe.py -> build/lib/pysmt/test copying pysmt/test/test_nia.py -> build/lib/pysmt/test copying pysmt/test/test_nlira.py -> build/lib/pysmt/test copying pysmt/test/test_oracles.py -> build/lib/pysmt/test copying pysmt/test/test_portfolio.py -> build/lib/pysmt/test copying pysmt/test/test_printing.py -> build/lib/pysmt/test copying pysmt/test/test_qe.py -> build/lib/pysmt/test copying pysmt/test/test_regressions.py -> build/lib/pysmt/test copying pysmt/test/test_rewritings.py -> build/lib/pysmt/test copying pysmt/test/test_shannon_expansion.py -> build/lib/pysmt/test copying pysmt/test/test_simplify.py -> build/lib/pysmt/test copying pysmt/test/test_size.py -> build/lib/pysmt/test copying pysmt/test/test_solving.py -> build/lib/pysmt/test copying pysmt/test/test_sorts.py -> build/lib/pysmt/test copying pysmt/test/test_string.py -> build/lib/pysmt/test copying pysmt/test/test_typechecker.py -> build/lib/pysmt/test copying pysmt/test/test_unsat_cores.py -> build/lib/pysmt/test copying pysmt/test/test_walker_ext.py -> build/lib/pysmt/test copying pysmt/test/test_walkers.py -> build/lib/pysmt/test creating build/lib/pysmt/walkers copying pysmt/walkers/__init__.py -> build/lib/pysmt/walkers copying pysmt/walkers/dag.py -> build/lib/pysmt/walkers copying pysmt/walkers/generic.py -> build/lib/pysmt/walkers copying pysmt/walkers/identitydag.py -> build/lib/pysmt/walkers copying pysmt/walkers/tree.py -> build/lib/pysmt/walkers creating build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/__init__.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/base.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/bdd.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/btor.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvcfive.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/cvcfour.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/msat.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/pico.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/yices.py -> build/lib/pysmt/cmd/installers copying pysmt/cmd/installers/z3.py -> build/lib/pysmt/cmd/installers creating build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/__init__.py -> build/lib/pysmt/smtlib/parser copying pysmt/smtlib/parser/parser.py -> build/lib/pysmt/smtlib/parser creating build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/__init__.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/parser_utils.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_annotations.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_fuzzed.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_generic_wrapper.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_griggio.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_model_validation.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_examples.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_extensibility.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_arrays.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lira.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_lra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nia.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_nra.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_uf.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_parser_type_error.py -> build/lib/pysmt/test/smtlib copying pysmt/test/smtlib/test_smtlibscript.py -> build/lib/pysmt/test/smtlib running egg_info writing PySMT.egg-info/PKG-INFO writing dependency_links to PySMT.egg-info/dependency_links.txt writing entry points to PySMT.egg-info/entry_points.txt writing top-level names to PySMT.egg-info/top_level.txt reading manifest file 'PySMT.egg-info/SOURCES.txt' reading manifest template 'MANIFEST.in' adding license file 'LICENSE' adding license file 'NOTICE' writing manifest file 'PySMT.egg-info/SOURCES.txt' /usr/pkg/lib/python3.11/site-packages/setuptools/command/build_py.py:212: _Warning: Package 'pysmt.test.configs' is absent from the `packages` configuration. !! ******************************************************************************** ############################ # Package would be ignored # ############################ Python recognizes 'pysmt.test.configs' as an importable package[^1], but it is absent from setuptools' `packages` configuration. This leads to an ambiguous overall configuration. If you want to distribute this package, please make sure that 'pysmt.test.configs' is explicitly added to the `packages` configuration field. Alternatively, you can also rely on setuptools' discovery methods (for example by using `find_namespace_packages(...)`/`find_namespace:` instead of `find_packages(...)`/`find:`). You can read more about "package discovery" on setuptools documentation page: - https://setuptools.pypa.io/en/latest/userguide/package_discovery.html If you don't want 'pysmt.test.configs' to be distributed and are already explicitly excluding 'pysmt.test.configs' via `find_namespace_packages(...)/find_namespace` or `find_packages(...)/find`, you can try to use `exclude_package_data`, or `include-package-data=False` in combination with a more fine grained `package-data` configuration. You can read more about "package data files" on setuptools documentation page: - https://setuptools.pypa.io/en/latest/userguide/datafiles.html [^1]: For Python, any directory (with suitable naming) can be imported, even if it does not contain any `.py` files. On the other hand, currently there is no concept of package data directory, all directories are treated like packages. ******************************************************************************** !! check.warn(importable) creating build/lib/pysmt/test/configs copying pysmt/test/configs/config1.ini -> build/lib/pysmt/test/configs copying pysmt/test/configs/config_bad.ini -> build/lib/pysmt/test/configs installing to build/bdist.netbsd-9.3-amd64/wheel running install running install_lib creating build/bdist.netbsd-9.3-amd64/wheel creating build/bdist.netbsd-9.3-amd64/wheel/pysmt copying build/lib/pysmt/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/__main__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/configuration.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/constants.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/decorators.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/environment.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/exceptions.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/factory.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/fnode.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/formula.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/logics.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/operators.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/oracles.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/parsing.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/printers.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/rewritings.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/shortcuts.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/simplifier.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/substituter.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/type_checker.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/typing.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt copying build/lib/pysmt/utils.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/cmd copying build/lib/pysmt/cmd/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd copying build/lib/pysmt/cmd/check_version.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd copying build/lib/pysmt/cmd/install.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd copying build/lib/pysmt/cmd/shell.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/base.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/bdd.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/btor.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvcfive.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/cvcfour.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/msat.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/pico.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/yices.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers copying build/lib/pysmt/cmd/installers/z3.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/cmd/installers creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/smtlib copying build/lib/pysmt/smtlib/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/annotations.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/commands.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/printers.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/script.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/solver.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib copying build/lib/pysmt/smtlib/utils.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib/parser copying build/lib/pysmt/smtlib/parser/parser.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/smtlib/parser creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/solvers copying build/lib/pysmt/solvers/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/bdd.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/btor.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/cvcfive.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/cvcfour.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/eager.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/interpolation.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/msat.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/options.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/pico.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/portfolio.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/qelim.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/smtlib.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/solver.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/yices.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers copying build/lib/pysmt/solvers/z3.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/solvers creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/test copying build/lib/pysmt/test/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/examples.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_array.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_back.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_bdd.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_bv.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_bv_simplification.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_cnf.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_configuration.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_constants.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_cvc_quantifiers.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_dwf.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_eager_model.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_env.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_euf.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_formula.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_hr_parsing.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_imports.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_int.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_interpolation.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_lira.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_logics.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_models.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_native_qe.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_nia.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_nlira.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_oracles.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_portfolio.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_printing.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_qe.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_regressions.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_rewritings.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_shannon_expansion.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_simplify.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_size.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_solving.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_sorts.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_string.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_typechecker.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_unsat_cores.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_walker_ext.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test copying build/lib/pysmt/test/test_walkers.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/parser_utils.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_annotations.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_fuzzed.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_generic_wrapper.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_griggio.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_model_validation.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_examples.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_extensibility.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_lra.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_arrays.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lia.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lira.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_lra.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nia.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_nra.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_uf.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_qf_ufbv.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_parser_type_error.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib copying build/lib/pysmt/test/smtlib/test_smtlibscript.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/smtlib creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/test/configs copying build/lib/pysmt/test/configs/config1.ini -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/configs copying build/lib/pysmt/test/configs/config_bad.ini -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/test/configs creating build/bdist.netbsd-9.3-amd64/wheel/pysmt/walkers copying build/lib/pysmt/walkers/__init__.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/walkers copying build/lib/pysmt/walkers/dag.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/walkers copying build/lib/pysmt/walkers/generic.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/walkers copying build/lib/pysmt/walkers/identitydag.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/walkers copying build/lib/pysmt/walkers/tree.py -> build/bdist.netbsd-9.3-amd64/wheel/./pysmt/walkers running install_egg_info Copying PySMT.egg-info to build/bdist.netbsd-9.3-amd64/wheel/./PySMT-0.9.6-py3.11.egg-info running install_scripts creating build/bdist.netbsd-9.3-amd64/wheel/pysmt-0.9.6.dist-info/WHEEL creating '/tmp/math/py-smt/work/PySMT-0.9.6/dist/.tmp-3bo24ve0/pysmt-0.9.6-py3-none-any.whl' and adding 'build/bdist.netbsd-9.3-amd64/wheel' to it adding 'pysmt/__init__.py' adding 'pysmt/__main__.py' adding 'pysmt/configuration.py' adding 'pysmt/constants.py' adding 'pysmt/decorators.py' adding 'pysmt/environment.py' adding 'pysmt/exceptions.py' adding 'pysmt/factory.py' adding 'pysmt/fnode.py' adding 'pysmt/formula.py' adding 'pysmt/logics.py' adding 'pysmt/operators.py' adding 'pysmt/oracles.py' adding 'pysmt/parsing.py' adding 'pysmt/printers.py' adding 'pysmt/rewritings.py' adding 'pysmt/shortcuts.py' adding 'pysmt/simplifier.py' adding 'pysmt/substituter.py' adding 'pysmt/type_checker.py' adding 'pysmt/typing.py' adding 'pysmt/utils.py' adding 'pysmt/cmd/__init__.py' adding 'pysmt/cmd/check_version.py' adding 'pysmt/cmd/install.py' adding 'pysmt/cmd/shell.py' adding 'pysmt/cmd/installers/__init__.py' adding 'pysmt/cmd/installers/base.py' adding 'pysmt/cmd/installers/bdd.py' adding 'pysmt/cmd/installers/btor.py' adding 'pysmt/cmd/installers/cvcfive.py' adding 'pysmt/cmd/installers/cvcfour.py' adding 'pysmt/cmd/installers/msat.py' adding 'pysmt/cmd/installers/pico.py' adding 'pysmt/cmd/installers/yices.py' adding 'pysmt/cmd/installers/z3.py' adding 'pysmt/smtlib/__init__.py' adding 'pysmt/smtlib/annotations.py' adding 'pysmt/smtlib/commands.py' adding 'pysmt/smtlib/printers.py' adding 'pysmt/smtlib/script.py' adding 'pysmt/smtlib/solver.py' adding 'pysmt/smtlib/utils.py' adding 'pysmt/smtlib/parser/__init__.py' adding 'pysmt/smtlib/parser/parser.py' adding 'pysmt/solvers/__init__.py' adding 'pysmt/solvers/bdd.py' adding 'pysmt/solvers/btor.py' adding 'pysmt/solvers/cvcfive.py' adding 'pysmt/solvers/cvcfour.py' adding 'pysmt/solvers/eager.py' adding 'pysmt/solvers/interpolation.py' adding 'pysmt/solvers/msat.py' adding 'pysmt/solvers/options.py' adding 'pysmt/solvers/pico.py' adding 'pysmt/solvers/portfolio.py' adding 'pysmt/solvers/qelim.py' adding 'pysmt/solvers/smtlib.py' adding 'pysmt/solvers/solver.py' adding 'pysmt/solvers/yices.py' adding 'pysmt/solvers/z3.py' adding 'pysmt/test/__init__.py' adding 'pysmt/test/examples.py' adding 'pysmt/test/test_array.py' adding 'pysmt/test/test_back.py' adding 'pysmt/test/test_bdd.py' adding 'pysmt/test/test_bv.py' adding 'pysmt/test/test_bv_simplification.py' adding 'pysmt/test/test_cnf.py' adding 'pysmt/test/test_configuration.py' adding 'pysmt/test/test_constants.py' adding 'pysmt/test/test_cvc_quantifiers.py' adding 'pysmt/test/test_dwf.py' adding 'pysmt/test/test_eager_model.py' adding 'pysmt/test/test_env.py' adding 'pysmt/test/test_euf.py' adding 'pysmt/test/test_formula.py' adding 'pysmt/test/test_hr_parsing.py' adding 'pysmt/test/test_imports.py' adding 'pysmt/test/test_int.py' adding 'pysmt/test/test_interpolation.py' adding 'pysmt/test/test_lira.py' adding 'pysmt/test/test_logics.py' adding 'pysmt/test/test_models.py' adding 'pysmt/test/test_native_qe.py' adding 'pysmt/test/test_nia.py' adding 'pysmt/test/test_nlira.py' adding 'pysmt/test/test_oracles.py' adding 'pysmt/test/test_portfolio.py' adding 'pysmt/test/test_printing.py' adding 'pysmt/test/test_qe.py' adding 'pysmt/test/test_regressions.py' adding 'pysmt/test/test_rewritings.py' adding 'pysmt/test/test_shannon_expansion.py' adding 'pysmt/test/test_simplify.py' adding 'pysmt/test/test_size.py' adding 'pysmt/test/test_solving.py' adding 'pysmt/test/test_sorts.py' adding 'pysmt/test/test_string.py' adding 'pysmt/test/test_typechecker.py' adding 'pysmt/test/test_unsat_cores.py' adding 'pysmt/test/test_walker_ext.py' adding 'pysmt/test/test_walkers.py' adding 'pysmt/test/configs/config1.ini' adding 'pysmt/test/configs/config_bad.ini' adding 'pysmt/test/smtlib/__init__.py' adding 'pysmt/test/smtlib/parser_utils.py' adding 'pysmt/test/smtlib/test_annotations.py' adding 'pysmt/test/smtlib/test_fuzzed.py' adding 'pysmt/test/smtlib/test_generic_wrapper.py' adding 'pysmt/test/smtlib/test_griggio.py' adding 'pysmt/test/smtlib/test_model_validation.py' adding 'pysmt/test/smtlib/test_parser_examples.py' adding 'pysmt/test/smtlib/test_parser_extensibility.py' adding 'pysmt/test/smtlib/test_parser_lra.py' adding 'pysmt/test/smtlib/test_parser_qf_arrays.py' adding 'pysmt/test/smtlib/test_parser_qf_lia.py' adding 'pysmt/test/smtlib/test_parser_qf_lira.py' adding 'pysmt/test/smtlib/test_parser_qf_lra.py' adding 'pysmt/test/smtlib/test_parser_qf_nia.py' adding 'pysmt/test/smtlib/test_parser_qf_nra.py' adding 'pysmt/test/smtlib/test_parser_qf_uf.py' adding 'pysmt/test/smtlib/test_parser_qf_ufbv.py' adding 'pysmt/test/smtlib/test_parser_type_error.py' adding 'pysmt/test/smtlib/test_smtlibscript.py' adding 'pysmt/walkers/__init__.py' adding 'pysmt/walkers/dag.py' adding 'pysmt/walkers/generic.py' adding 'pysmt/walkers/identitydag.py' adding 'pysmt/walkers/tree.py' adding 'pysmt-0.9.6.dist-info/LICENSE' adding 'pysmt-0.9.6.dist-info/METADATA' adding 'pysmt-0.9.6.dist-info/NOTICE' adding 'pysmt-0.9.6.dist-info/WHEEL' adding 'pysmt-0.9.6.dist-info/entry_points.txt' adding 'pysmt-0.9.6.dist-info/top_level.txt' adding 'pysmt-0.9.6.dist-info/RECORD' removing build/bdist.netbsd-9.3-amd64/wheel Successfully built pysmt-0.9.6-py3-none-any.whl