head	1.4;
access;
symbols
	pkgsrc-2026Q1:1.4.0.8
	pkgsrc-2026Q1-base:1.4
	pkgsrc-2025Q4:1.4.0.6
	pkgsrc-2025Q4-base:1.4
	pkgsrc-2025Q3:1.4.0.4
	pkgsrc-2025Q3-base:1.4
	pkgsrc-2025Q2:1.4.0.2
	pkgsrc-2025Q2-base:1.4
	pkgsrc-2025Q1:1.3.0.6
	pkgsrc-2025Q1-base:1.3
	pkgsrc-2024Q4:1.3.0.4
	pkgsrc-2024Q4-base:1.3
	pkgsrc-2024Q3:1.3.0.2
	pkgsrc-2024Q3-base:1.3
	pkgsrc-2024Q2:1.2.0.12
	pkgsrc-2024Q2-base:1.2
	pkgsrc-2024Q1:1.2.0.10
	pkgsrc-2024Q1-base:1.2
	pkgsrc-2023Q4:1.2.0.8
	pkgsrc-2023Q4-base:1.2
	pkgsrc-2023Q3:1.2.0.6
	pkgsrc-2023Q3-base:1.2
	pkgsrc-2023Q2:1.2.0.4
	pkgsrc-2023Q2-base:1.2
	pkgsrc-2023Q1:1.2.0.2
	pkgsrc-2023Q1-base:1.2
	pkgsrc-2022Q4:1.1.0.20
	pkgsrc-2022Q4-base:1.1
	pkgsrc-2022Q3:1.1.0.18
	pkgsrc-2022Q3-base:1.1
	pkgsrc-2022Q2:1.1.0.16
	pkgsrc-2022Q2-base:1.1
	pkgsrc-2022Q1:1.1.0.14
	pkgsrc-2022Q1-base:1.1
	pkgsrc-2021Q4:1.1.0.12
	pkgsrc-2021Q4-base:1.1
	pkgsrc-2021Q3:1.1.0.10
	pkgsrc-2021Q3-base:1.1
	pkgsrc-2021Q2:1.1.0.8
	pkgsrc-2021Q2-base:1.1
	pkgsrc-2021Q1:1.1.0.6
	pkgsrc-2021Q1-base:1.1
	pkgsrc-2020Q4:1.1.0.4
	pkgsrc-2020Q4-base:1.1
	pkgsrc-2020Q3:1.1.0.2
	pkgsrc-2020Q3-base:1.1;
locks; strict;
comment	@# @;


1.4
date	2025.04.15.16.31.39;	author adam;	state Exp;
branches;
next	1.3;
commitid	GEWTNMP1WtMxpaRF;

1.3
date	2024.08.07.11.01.45;	author adam;	state Exp;
branches;
next	1.2;
commitid	AaF6Ysxu65prESkF;

1.2
date	2023.01.09.06.39.38;	author khorben;	state Exp;
branches;
next	1.1;
commitid	PQTUEbKhiUahIP8E;

1.1
date	2020.08.18.20.14.33;	author riastradh;	state Exp;
branches;
next	;
commitid	LI48SGSHFCEXjAkC;


desc
@@


1.4
log
@Fix PLIST after py-setuptools update; bump depends and revision
@
text
@@@comment $NetBSD: PLIST,v 1.3 2024/08/07 11:01:45 adam Exp $
bin/pysmt-install-${PYVERSSUFFIX}
${PYSITELIB}/${WHEEL_INFODIR}/METADATA
${PYSITELIB}/${WHEEL_INFODIR}/RECORD
${PYSITELIB}/${WHEEL_INFODIR}/WHEEL
${PYSITELIB}/${WHEEL_INFODIR}/entry_points.txt
${PYSITELIB}/${WHEEL_INFODIR}/licenses/LICENSE
${PYSITELIB}/${WHEEL_INFODIR}/licenses/NOTICE
${PYSITELIB}/${WHEEL_INFODIR}/top_level.txt
${PYSITELIB}/pysmt/__init__.py
${PYSITELIB}/pysmt/__init__.pyc
${PYSITELIB}/pysmt/__init__.pyo
${PYSITELIB}/pysmt/__main__.py
${PYSITELIB}/pysmt/__main__.pyc
${PYSITELIB}/pysmt/__main__.pyo
${PYSITELIB}/pysmt/cmd/__init__.py
${PYSITELIB}/pysmt/cmd/__init__.pyc
${PYSITELIB}/pysmt/cmd/__init__.pyo
${PYSITELIB}/pysmt/cmd/check_version.py
${PYSITELIB}/pysmt/cmd/check_version.pyc
${PYSITELIB}/pysmt/cmd/check_version.pyo
${PYSITELIB}/pysmt/cmd/install.py
${PYSITELIB}/pysmt/cmd/install.pyc
${PYSITELIB}/pysmt/cmd/install.pyo
${PYSITELIB}/pysmt/cmd/installers/__init__.py
${PYSITELIB}/pysmt/cmd/installers/__init__.pyc
${PYSITELIB}/pysmt/cmd/installers/__init__.pyo
${PYSITELIB}/pysmt/cmd/installers/base.py
${PYSITELIB}/pysmt/cmd/installers/base.pyc
${PYSITELIB}/pysmt/cmd/installers/base.pyo
${PYSITELIB}/pysmt/cmd/installers/bdd.py
${PYSITELIB}/pysmt/cmd/installers/bdd.pyc
${PYSITELIB}/pysmt/cmd/installers/bdd.pyo
${PYSITELIB}/pysmt/cmd/installers/btor.py
${PYSITELIB}/pysmt/cmd/installers/btor.pyc
${PYSITELIB}/pysmt/cmd/installers/btor.pyo
${PYSITELIB}/pysmt/cmd/installers/cvcfive.py
${PYSITELIB}/pysmt/cmd/installers/cvcfive.pyc
${PYSITELIB}/pysmt/cmd/installers/cvcfive.pyo
${PYSITELIB}/pysmt/cmd/installers/cvcfour.py
${PYSITELIB}/pysmt/cmd/installers/cvcfour.pyc
${PYSITELIB}/pysmt/cmd/installers/cvcfour.pyo
${PYSITELIB}/pysmt/cmd/installers/msat.py
${PYSITELIB}/pysmt/cmd/installers/msat.pyc
${PYSITELIB}/pysmt/cmd/installers/msat.pyo
${PYSITELIB}/pysmt/cmd/installers/pico.py
${PYSITELIB}/pysmt/cmd/installers/pico.pyc
${PYSITELIB}/pysmt/cmd/installers/pico.pyo
${PYSITELIB}/pysmt/cmd/installers/yices.py
${PYSITELIB}/pysmt/cmd/installers/yices.pyc
${PYSITELIB}/pysmt/cmd/installers/yices.pyo
${PYSITELIB}/pysmt/cmd/installers/z3.py
${PYSITELIB}/pysmt/cmd/installers/z3.pyc
${PYSITELIB}/pysmt/cmd/installers/z3.pyo
${PYSITELIB}/pysmt/cmd/shell.py
${PYSITELIB}/pysmt/cmd/shell.pyc
${PYSITELIB}/pysmt/cmd/shell.pyo
${PYSITELIB}/pysmt/configuration.py
${PYSITELIB}/pysmt/configuration.pyc
${PYSITELIB}/pysmt/configuration.pyo
${PYSITELIB}/pysmt/constants.py
${PYSITELIB}/pysmt/constants.pyc
${PYSITELIB}/pysmt/constants.pyo
${PYSITELIB}/pysmt/decorators.py
${PYSITELIB}/pysmt/decorators.pyc
${PYSITELIB}/pysmt/decorators.pyo
${PYSITELIB}/pysmt/environment.py
${PYSITELIB}/pysmt/environment.pyc
${PYSITELIB}/pysmt/environment.pyo
${PYSITELIB}/pysmt/exceptions.py
${PYSITELIB}/pysmt/exceptions.pyc
${PYSITELIB}/pysmt/exceptions.pyo
${PYSITELIB}/pysmt/factory.py
${PYSITELIB}/pysmt/factory.pyc
${PYSITELIB}/pysmt/factory.pyo
${PYSITELIB}/pysmt/fnode.py
${PYSITELIB}/pysmt/fnode.pyc
${PYSITELIB}/pysmt/fnode.pyo
${PYSITELIB}/pysmt/formula.py
${PYSITELIB}/pysmt/formula.pyc
${PYSITELIB}/pysmt/formula.pyo
${PYSITELIB}/pysmt/logics.py
${PYSITELIB}/pysmt/logics.pyc
${PYSITELIB}/pysmt/logics.pyo
${PYSITELIB}/pysmt/operators.py
${PYSITELIB}/pysmt/operators.pyc
${PYSITELIB}/pysmt/operators.pyo
${PYSITELIB}/pysmt/oracles.py
${PYSITELIB}/pysmt/oracles.pyc
${PYSITELIB}/pysmt/oracles.pyo
${PYSITELIB}/pysmt/parsing.py
${PYSITELIB}/pysmt/parsing.pyc
${PYSITELIB}/pysmt/parsing.pyo
${PYSITELIB}/pysmt/printers.py
${PYSITELIB}/pysmt/printers.pyc
${PYSITELIB}/pysmt/printers.pyo
${PYSITELIB}/pysmt/rewritings.py
${PYSITELIB}/pysmt/rewritings.pyc
${PYSITELIB}/pysmt/rewritings.pyo
${PYSITELIB}/pysmt/shortcuts.py
${PYSITELIB}/pysmt/shortcuts.pyc
${PYSITELIB}/pysmt/shortcuts.pyo
${PYSITELIB}/pysmt/simplifier.py
${PYSITELIB}/pysmt/simplifier.pyc
${PYSITELIB}/pysmt/simplifier.pyo
${PYSITELIB}/pysmt/smtlib/__init__.py
${PYSITELIB}/pysmt/smtlib/__init__.pyc
${PYSITELIB}/pysmt/smtlib/__init__.pyo
${PYSITELIB}/pysmt/smtlib/annotations.py
${PYSITELIB}/pysmt/smtlib/annotations.pyc
${PYSITELIB}/pysmt/smtlib/annotations.pyo
${PYSITELIB}/pysmt/smtlib/commands.py
${PYSITELIB}/pysmt/smtlib/commands.pyc
${PYSITELIB}/pysmt/smtlib/commands.pyo
${PYSITELIB}/pysmt/smtlib/parser/__init__.py
${PYSITELIB}/pysmt/smtlib/parser/__init__.pyc
${PYSITELIB}/pysmt/smtlib/parser/__init__.pyo
${PYSITELIB}/pysmt/smtlib/parser/parser.py
${PYSITELIB}/pysmt/smtlib/parser/parser.pyc
${PYSITELIB}/pysmt/smtlib/parser/parser.pyo
${PYSITELIB}/pysmt/smtlib/printers.py
${PYSITELIB}/pysmt/smtlib/printers.pyc
${PYSITELIB}/pysmt/smtlib/printers.pyo
${PYSITELIB}/pysmt/smtlib/script.py
${PYSITELIB}/pysmt/smtlib/script.pyc
${PYSITELIB}/pysmt/smtlib/script.pyo
${PYSITELIB}/pysmt/smtlib/solver.py
${PYSITELIB}/pysmt/smtlib/solver.pyc
${PYSITELIB}/pysmt/smtlib/solver.pyo
${PYSITELIB}/pysmt/smtlib/utils.py
${PYSITELIB}/pysmt/smtlib/utils.pyc
${PYSITELIB}/pysmt/smtlib/utils.pyo
${PYSITELIB}/pysmt/solvers/__init__.py
${PYSITELIB}/pysmt/solvers/__init__.pyc
${PYSITELIB}/pysmt/solvers/__init__.pyo
${PYSITELIB}/pysmt/solvers/bdd.py
${PYSITELIB}/pysmt/solvers/bdd.pyc
${PYSITELIB}/pysmt/solvers/bdd.pyo
${PYSITELIB}/pysmt/solvers/btor.py
${PYSITELIB}/pysmt/solvers/btor.pyc
${PYSITELIB}/pysmt/solvers/btor.pyo
${PYSITELIB}/pysmt/solvers/cvcfive.py
${PYSITELIB}/pysmt/solvers/cvcfive.pyc
${PYSITELIB}/pysmt/solvers/cvcfive.pyo
${PYSITELIB}/pysmt/solvers/cvcfour.py
${PYSITELIB}/pysmt/solvers/cvcfour.pyc
${PYSITELIB}/pysmt/solvers/cvcfour.pyo
${PYSITELIB}/pysmt/solvers/eager.py
${PYSITELIB}/pysmt/solvers/eager.pyc
${PYSITELIB}/pysmt/solvers/eager.pyo
${PYSITELIB}/pysmt/solvers/interpolation.py
${PYSITELIB}/pysmt/solvers/interpolation.pyc
${PYSITELIB}/pysmt/solvers/interpolation.pyo
${PYSITELIB}/pysmt/solvers/msat.py
${PYSITELIB}/pysmt/solvers/msat.pyc
${PYSITELIB}/pysmt/solvers/msat.pyo
${PYSITELIB}/pysmt/solvers/options.py
${PYSITELIB}/pysmt/solvers/options.pyc
${PYSITELIB}/pysmt/solvers/options.pyo
${PYSITELIB}/pysmt/solvers/pico.py
${PYSITELIB}/pysmt/solvers/pico.pyc
${PYSITELIB}/pysmt/solvers/pico.pyo
${PYSITELIB}/pysmt/solvers/portfolio.py
${PYSITELIB}/pysmt/solvers/portfolio.pyc
${PYSITELIB}/pysmt/solvers/portfolio.pyo
${PYSITELIB}/pysmt/solvers/qelim.py
${PYSITELIB}/pysmt/solvers/qelim.pyc
${PYSITELIB}/pysmt/solvers/qelim.pyo
${PYSITELIB}/pysmt/solvers/smtlib.py
${PYSITELIB}/pysmt/solvers/smtlib.pyc
${PYSITELIB}/pysmt/solvers/smtlib.pyo
${PYSITELIB}/pysmt/solvers/solver.py
${PYSITELIB}/pysmt/solvers/solver.pyc
${PYSITELIB}/pysmt/solvers/solver.pyo
${PYSITELIB}/pysmt/solvers/yices.py
${PYSITELIB}/pysmt/solvers/yices.pyc
${PYSITELIB}/pysmt/solvers/yices.pyo
${PYSITELIB}/pysmt/solvers/z3.py
${PYSITELIB}/pysmt/solvers/z3.pyc
${PYSITELIB}/pysmt/solvers/z3.pyo
${PYSITELIB}/pysmt/substituter.py
${PYSITELIB}/pysmt/substituter.pyc
${PYSITELIB}/pysmt/substituter.pyo
${PYSITELIB}/pysmt/test/__init__.py
${PYSITELIB}/pysmt/test/__init__.pyc
${PYSITELIB}/pysmt/test/__init__.pyo
${PYSITELIB}/pysmt/test/configs/config1.ini
${PYSITELIB}/pysmt/test/configs/config_bad.ini
${PYSITELIB}/pysmt/test/examples.py
${PYSITELIB}/pysmt/test/examples.pyc
${PYSITELIB}/pysmt/test/examples.pyo
${PYSITELIB}/pysmt/test/smtlib/__init__.py
${PYSITELIB}/pysmt/test/smtlib/__init__.pyc
${PYSITELIB}/pysmt/test/smtlib/__init__.pyo
${PYSITELIB}/pysmt/test/smtlib/parser_utils.py
${PYSITELIB}/pysmt/test/smtlib/parser_utils.pyc
${PYSITELIB}/pysmt/test/smtlib/parser_utils.pyo
${PYSITELIB}/pysmt/test/smtlib/test_annotations.py
${PYSITELIB}/pysmt/test/smtlib/test_annotations.pyc
${PYSITELIB}/pysmt/test/smtlib/test_annotations.pyo
${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.py
${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.pyc
${PYSITELIB}/pysmt/test/smtlib/test_fuzzed.pyo
${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.py
${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.pyc
${PYSITELIB}/pysmt/test/smtlib/test_generic_wrapper.pyo
${PYSITELIB}/pysmt/test/smtlib/test_griggio.py
${PYSITELIB}/pysmt/test/smtlib/test_griggio.pyc
${PYSITELIB}/pysmt/test/smtlib/test_griggio.pyo
${PYSITELIB}/pysmt/test/smtlib/test_model_validation.py
${PYSITELIB}/pysmt/test/smtlib/test_model_validation.pyc
${PYSITELIB}/pysmt/test/smtlib/test_model_validation.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_examples.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_extensibility.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_lra.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_arrays.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lia.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lira.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_lra.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nia.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_nra.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_uf.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_uf.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_uf.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_qf_ufbv.pyo
${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.py
${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.pyc
${PYSITELIB}/pysmt/test/smtlib/test_parser_type_error.pyo
${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.py
${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.pyc
${PYSITELIB}/pysmt/test/smtlib/test_smtlibscript.pyo
${PYSITELIB}/pysmt/test/test_array.py
${PYSITELIB}/pysmt/test/test_array.pyc
${PYSITELIB}/pysmt/test/test_array.pyo
${PYSITELIB}/pysmt/test/test_back.py
${PYSITELIB}/pysmt/test/test_back.pyc
${PYSITELIB}/pysmt/test/test_back.pyo
${PYSITELIB}/pysmt/test/test_bdd.py
${PYSITELIB}/pysmt/test/test_bdd.pyc
${PYSITELIB}/pysmt/test/test_bdd.pyo
${PYSITELIB}/pysmt/test/test_bv.py
${PYSITELIB}/pysmt/test/test_bv.pyc
${PYSITELIB}/pysmt/test/test_bv.pyo
${PYSITELIB}/pysmt/test/test_bv_simplification.py
${PYSITELIB}/pysmt/test/test_bv_simplification.pyc
${PYSITELIB}/pysmt/test/test_bv_simplification.pyo
${PYSITELIB}/pysmt/test/test_cnf.py
${PYSITELIB}/pysmt/test/test_cnf.pyc
${PYSITELIB}/pysmt/test/test_cnf.pyo
${PYSITELIB}/pysmt/test/test_configuration.py
${PYSITELIB}/pysmt/test/test_configuration.pyc
${PYSITELIB}/pysmt/test/test_configuration.pyo
${PYSITELIB}/pysmt/test/test_constants.py
${PYSITELIB}/pysmt/test/test_constants.pyc
${PYSITELIB}/pysmt/test/test_constants.pyo
${PYSITELIB}/pysmt/test/test_cvc_quantifiers.py
${PYSITELIB}/pysmt/test/test_cvc_quantifiers.pyc
${PYSITELIB}/pysmt/test/test_cvc_quantifiers.pyo
${PYSITELIB}/pysmt/test/test_dwf.py
${PYSITELIB}/pysmt/test/test_dwf.pyc
${PYSITELIB}/pysmt/test/test_dwf.pyo
${PYSITELIB}/pysmt/test/test_eager_model.py
${PYSITELIB}/pysmt/test/test_eager_model.pyc
${PYSITELIB}/pysmt/test/test_eager_model.pyo
${PYSITELIB}/pysmt/test/test_env.py
${PYSITELIB}/pysmt/test/test_env.pyc
${PYSITELIB}/pysmt/test/test_env.pyo
${PYSITELIB}/pysmt/test/test_euf.py
${PYSITELIB}/pysmt/test/test_euf.pyc
${PYSITELIB}/pysmt/test/test_euf.pyo
${PYSITELIB}/pysmt/test/test_formula.py
${PYSITELIB}/pysmt/test/test_formula.pyc
${PYSITELIB}/pysmt/test/test_formula.pyo
${PYSITELIB}/pysmt/test/test_hr_parsing.py
${PYSITELIB}/pysmt/test/test_hr_parsing.pyc
${PYSITELIB}/pysmt/test/test_hr_parsing.pyo
${PYSITELIB}/pysmt/test/test_imports.py
${PYSITELIB}/pysmt/test/test_imports.pyc
${PYSITELIB}/pysmt/test/test_imports.pyo
${PYSITELIB}/pysmt/test/test_int.py
${PYSITELIB}/pysmt/test/test_int.pyc
${PYSITELIB}/pysmt/test/test_int.pyo
${PYSITELIB}/pysmt/test/test_interpolation.py
${PYSITELIB}/pysmt/test/test_interpolation.pyc
${PYSITELIB}/pysmt/test/test_interpolation.pyo
${PYSITELIB}/pysmt/test/test_lira.py
${PYSITELIB}/pysmt/test/test_lira.pyc
${PYSITELIB}/pysmt/test/test_lira.pyo
${PYSITELIB}/pysmt/test/test_logics.py
${PYSITELIB}/pysmt/test/test_logics.pyc
${PYSITELIB}/pysmt/test/test_logics.pyo
${PYSITELIB}/pysmt/test/test_models.py
${PYSITELIB}/pysmt/test/test_models.pyc
${PYSITELIB}/pysmt/test/test_models.pyo
${PYSITELIB}/pysmt/test/test_native_qe.py
${PYSITELIB}/pysmt/test/test_native_qe.pyc
${PYSITELIB}/pysmt/test/test_native_qe.pyo
${PYSITELIB}/pysmt/test/test_nia.py
${PYSITELIB}/pysmt/test/test_nia.pyc
${PYSITELIB}/pysmt/test/test_nia.pyo
${PYSITELIB}/pysmt/test/test_nlira.py
${PYSITELIB}/pysmt/test/test_nlira.pyc
${PYSITELIB}/pysmt/test/test_nlira.pyo
${PYSITELIB}/pysmt/test/test_oracles.py
${PYSITELIB}/pysmt/test/test_oracles.pyc
${PYSITELIB}/pysmt/test/test_oracles.pyo
${PYSITELIB}/pysmt/test/test_portfolio.py
${PYSITELIB}/pysmt/test/test_portfolio.pyc
${PYSITELIB}/pysmt/test/test_portfolio.pyo
${PYSITELIB}/pysmt/test/test_printing.py
${PYSITELIB}/pysmt/test/test_printing.pyc
${PYSITELIB}/pysmt/test/test_printing.pyo
${PYSITELIB}/pysmt/test/test_qe.py
${PYSITELIB}/pysmt/test/test_qe.pyc
${PYSITELIB}/pysmt/test/test_qe.pyo
${PYSITELIB}/pysmt/test/test_regressions.py
${PYSITELIB}/pysmt/test/test_regressions.pyc
${PYSITELIB}/pysmt/test/test_regressions.pyo
${PYSITELIB}/pysmt/test/test_rewritings.py
${PYSITELIB}/pysmt/test/test_rewritings.pyc
${PYSITELIB}/pysmt/test/test_rewritings.pyo
${PYSITELIB}/pysmt/test/test_shannon_expansion.py
${PYSITELIB}/pysmt/test/test_shannon_expansion.pyc
${PYSITELIB}/pysmt/test/test_shannon_expansion.pyo
${PYSITELIB}/pysmt/test/test_simplify.py
${PYSITELIB}/pysmt/test/test_simplify.pyc
${PYSITELIB}/pysmt/test/test_simplify.pyo
${PYSITELIB}/pysmt/test/test_size.py
${PYSITELIB}/pysmt/test/test_size.pyc
${PYSITELIB}/pysmt/test/test_size.pyo
${PYSITELIB}/pysmt/test/test_solving.py
${PYSITELIB}/pysmt/test/test_solving.pyc
${PYSITELIB}/pysmt/test/test_solving.pyo
${PYSITELIB}/pysmt/test/test_sorts.py
${PYSITELIB}/pysmt/test/test_sorts.pyc
${PYSITELIB}/pysmt/test/test_sorts.pyo
${PYSITELIB}/pysmt/test/test_string.py
${PYSITELIB}/pysmt/test/test_string.pyc
${PYSITELIB}/pysmt/test/test_string.pyo
${PYSITELIB}/pysmt/test/test_typechecker.py
${PYSITELIB}/pysmt/test/test_typechecker.pyc
${PYSITELIB}/pysmt/test/test_typechecker.pyo
${PYSITELIB}/pysmt/test/test_unsat_cores.py
${PYSITELIB}/pysmt/test/test_unsat_cores.pyc
${PYSITELIB}/pysmt/test/test_unsat_cores.pyo
${PYSITELIB}/pysmt/test/test_walker_ext.py
${PYSITELIB}/pysmt/test/test_walker_ext.pyc
${PYSITELIB}/pysmt/test/test_walker_ext.pyo
${PYSITELIB}/pysmt/test/test_walkers.py
${PYSITELIB}/pysmt/test/test_walkers.pyc
${PYSITELIB}/pysmt/test/test_walkers.pyo
${PYSITELIB}/pysmt/type_checker.py
${PYSITELIB}/pysmt/type_checker.pyc
${PYSITELIB}/pysmt/type_checker.pyo
${PYSITELIB}/pysmt/typing.py
${PYSITELIB}/pysmt/typing.pyc
${PYSITELIB}/pysmt/typing.pyo
${PYSITELIB}/pysmt/utils.py
${PYSITELIB}/pysmt/utils.pyc
${PYSITELIB}/pysmt/utils.pyo
${PYSITELIB}/pysmt/walkers/__init__.py
${PYSITELIB}/pysmt/walkers/__init__.pyc
${PYSITELIB}/pysmt/walkers/__init__.pyo
${PYSITELIB}/pysmt/walkers/dag.py
${PYSITELIB}/pysmt/walkers/dag.pyc
${PYSITELIB}/pysmt/walkers/dag.pyo
${PYSITELIB}/pysmt/walkers/generic.py
${PYSITELIB}/pysmt/walkers/generic.pyc
${PYSITELIB}/pysmt/walkers/generic.pyo
${PYSITELIB}/pysmt/walkers/identitydag.py
${PYSITELIB}/pysmt/walkers/identitydag.pyc
${PYSITELIB}/pysmt/walkers/identitydag.pyo
${PYSITELIB}/pysmt/walkers/tree.py
${PYSITELIB}/pysmt/walkers/tree.pyc
${PYSITELIB}/pysmt/walkers/tree.pyo
@


1.3
log
@py-smt: updated to 0.9.6

0.9.6: 2022-06-24 -- CVC5 and upgraded solvers

* Fixed issue 613
* Fix missing file in Manifest
* Upgrade MathSAT to 5.6.6
* CI: Avoid running on PR branch push
* Upgrade MathSAT to 5.6.7
* Fix misspellings
* Upgrade Z3 to 4.8.17
* make FormulaContextualizer singleton in FormulaManager.
* README: Remove interpolants from Z3
* Parse logic str in Portfolio
* Make sudoku.py Python3 compatible
* Fix the definition of BVXnor
* Deterministic get_closer_logic
* Grammar correction
* example/parallel.py: typo fix
* Fix for pyximport
* Remove deprecated distutils
* Fixed removed imp module in Python 3.12
* [Boolector] Add support for const arrays and boolean indices/elements
* Update of all solvers
@
text
@d1 1
a1 1
@@comment $NetBSD: PLIST,v 1.2 2023/01/09 06:39:38 khorben Exp $
a2 1
${PYSITELIB}/${WHEEL_INFODIR}/LICENSE
a3 1
${PYSITELIB}/${WHEEL_INFODIR}/NOTICE
d7 2
@


1.2
log
@py-smt: update to 0.9.5

From the release notes:

Intermediate release that collects 2 years of bugfixes and improvements.

Python 2 was deprecated in version 0.9.0, and this version removes the use of compatible code for that version.

What's Changed

* Add support for boolean-typed array in the AtomsOracle by @@mikand in #644
* Switched from nosetests to pytest by @@mikand in #662
* Fixed a bug in yices quantifier support and added regression test by @@mikand in #657
* Fix Boolector install script by @@4tXJ7f in #656
* BUG: define UFNIA as logic with integer arithmetic by @@johnyf in #659
* Handling of algebraic constants in simplify by @@EnricoMagnago in #658
* Integer div by @@EnricoMagnago in #667
* Fix CVC4 installation on macOS by @@kammoh in #666
* Bug in times distributor by @@EnricoMagnago in #671
* Fixed reset_assertion method for incremental-tracking solvers by @@mikand in #672
* Minor Corrections by @@mfarif in #673
* implement add_assertions method for solver. by @@EnricoMagnago in #679
* Fix "get_model" when called from a generic solver (Fix #674) by @@btwael in #675
* Remove six and python 2 compatibility code by @@marcogario in #684
* Added fallback to Swig3 to address as much as possible issue #682 by @@mikand in #685
* Fix to correctly pass logic to solvers started by Portfolio by @@ekilmer in #683
* SmtLib model validation support by @@mikand in #681
* Fix iss694 by @@EnricoMagnago in #695
* Fixed CVC4 installer after upstream repository renaming by @@mikand in #697
* Remove call to FNode.substitute in SmtLibExecutionCache by @@EnricoMagnago in #699
* Added printing of annotations to smt lib printers by @@agirardi-fbk in #703
* Integer div by @@EnricoMagnago in #705
* Updated docker images to solve deprecation issue on azure pipelines by @@mikand in #706
* Workaround to fix Z3 segfault by @@mikand in #713
* Add possibility to use several BV operators as left associative by @@agirardi-fbk in #714
* Fixed issue #613 by @@mikand in #710
@
text
@d1 9
a9 7
@@comment $NetBSD: PLIST,v 1.1 2020/08/18 20:14:33 riastradh Exp $
bin/pysmt-install
${PYSITELIB}/${EGG_INFODIR}/PKG-INFO
${PYSITELIB}/${EGG_INFODIR}/SOURCES.txt
${PYSITELIB}/${EGG_INFODIR}/dependency_links.txt
${PYSITELIB}/${EGG_INFODIR}/entry_points.txt
${PYSITELIB}/${EGG_INFODIR}/top_level.txt
d37 6
a42 3
${PYSITELIB}/pysmt/cmd/installers/cvc4.py
${PYSITELIB}/pysmt/cmd/installers/cvc4.pyc
${PYSITELIB}/pysmt/cmd/installers/cvc4.pyo
d142 6
a147 3
${PYSITELIB}/pysmt/solvers/cvc4.py
${PYSITELIB}/pysmt/solvers/cvc4.pyc
${PYSITELIB}/pysmt/solvers/cvc4.pyo
d187 2
d276 3
a278 3
${PYSITELIB}/pysmt/test/test_cvc4_quantifiers.py
${PYSITELIB}/pysmt/test/test_cvc4_quantifiers.pyc
${PYSITELIB}/pysmt/test/test_cvc4_quantifiers.pyo
@


1.1
log
@Import PySMT-0.9.0 as math/py-smt.

pySMT is a solver-agnostic library for SMT Formulae manipulation and
solving.
@
text
@d1 1
a1 1
@@comment $NetBSD$
a6 1
${PYSITELIB}/${EGG_INFODIR}/requires.txt
d125 3
d200 3
d230 3
d308 3
@