|
 |
9b60398 |
%global pypi_name pysmt
|
|
|
9b60398 |
|
|
|
9b60398 |
Name: python-%{pypi_name}
|
|
|
ed641b3 |
Version: 0.9.5
|
|
 |
8601a1e |
Release: 3%{?dist}
|
|
|
9b60398 |
Summary: Solver-agnostic library for SMT Formulae manipulation and solving
|
|
|
9b60398 |
|
|
|
9b60398 |
License: ASL 2.0
|
|
|
9b60398 |
URL: http://www.pysmt.org
|
|
|
c371a04 |
Source0: https://github.com/pysmt/pysmt/archive/v%{version}/PySMT-%{version}.tar.gz
|
|
|
9b60398 |
BuildArch: noarch
|
|
|
9b60398 |
|
|
|
9b60398 |
%description
|
|
|
9b60398 |
A library for SMT formulae manipulation and solving pySMT makes working
|
|
|
9b60398 |
with Satisfiability Modulo Theory simple. Among others, you can:
|
|
|
9b60398 |
|
|
|
9b60398 |
* Define formulae in a solver independent way in a simple and inutitive way
|
|
|
9b60398 |
* Write ad-hoc simplifiers and operators
|
|
|
9b60398 |
* Dump your problems in the SMT-Lib format
|
|
|
9b60398 |
* Solve them using one of the native solvers
|
|
|
9b60398 |
* Wrapping any SMT-Lib complaint
|
|
|
9b60398 |
|
|
|
9b60398 |
%package -n python3-%{pypi_name}
|
|
|
9b60398 |
Summary: %{summary}
|
|
|
9b60398 |
|
|
|
9b60398 |
BuildRequires: python3-devel
|
|
|
9b60398 |
BuildRequires: python3-setuptools
|
|
|
9b60398 |
BuildRequires: python3-six
|
|
|
9b60398 |
#BuildRequires: python3-nose
|
|
|
9b60398 |
%{?python_provide:%python_provide python3-%{pypi_name}}
|
|
|
9b60398 |
|
|
|
9b60398 |
%description -n python3-%{pypi_name}
|
|
|
9b60398 |
A library for SMT formulae manipulation and solving pySMT makes working
|
|
|
9b60398 |
with Satisfiability Modulo Theory simple. Among others, you can:
|
|
|
9b60398 |
|
|
|
9b60398 |
* Define formulae in a solver independent way in a simple and intuitive way
|
|
|
9b60398 |
* Write ad-hoc simplifiers and operators
|
|
|
9b60398 |
* Dump your problems in the SMT-Lib format
|
|
|
9b60398 |
* Solve them using one of the native solvers
|
|
|
9b60398 |
* Wrapping any SMT-Lib complaint
|
|
|
9b60398 |
|
|
|
9b60398 |
%prep
|
|
|
c371a04 |
%autosetup -n %{pypi_name}-%{version}
|
|
|
9b60398 |
rm -rf %{pypi_name}.egg-info
|
|
|
9b60398 |
sed -i -e '/^#!\//, 1d' pysmt/{cmd/shell.py,constants.py}
|
|
|
9b60398 |
|
|
|
9b60398 |
%build
|
|
|
9b60398 |
%py3_build
|
|
|
9b60398 |
|
|
|
9b60398 |
%install
|
|
|
9b60398 |
%py3_install
|
|
|
9b60398 |
|
|
|
9b60398 |
# https://github.com/pysmt/pysmt/issues/608
|
|
|
9b60398 |
#%%check
|
|
|
9b60398 |
#export NOSE_PROCESSES=4
|
|
|
9b60398 |
#export NOSE_PROCESS_TIMEOUT=240
|
|
|
9b60398 |
#export PYTHONDONTWRITEBYTECODE=True
|
|
|
9b60398 |
#nosetests-%%{python3_version} -v -x
|
|
|
9b60398 |
|
|
|
9b60398 |
%files -n python3-%{pypi_name}
|
|
|
9b60398 |
%license LICENSE
|
|
|
9b60398 |
%doc README.rst docs/*.rst docs/tutorials/
|
|
|
9b60398 |
%{python3_sitelib}/%{pypi_name}/
|
|
|
9b60398 |
%{python3_sitelib}/PySMT-%{version}-py*.egg-info/
|
|
|
9b60398 |
%exclude %{python3_sitelib}/%{pypi_name}/test/
|
|
|
9b60398 |
%{_bindir}/pysmt-install
|
|
|
9b60398 |
|
|
|
9b60398 |
%changelog
|
|
|
8601a1e |
* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.5-3
|
|
|
8601a1e |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
|
|
8601a1e |
|
|
 |
153a85e |
* Tue Jun 13 2023 Python Maint <python-maint@redhat.com> - 0.9.5-2
|
|
|
153a85e |
- Rebuilt for Python 3.12
|
|
|
153a85e |
|
|
|
ed641b3 |
* Sat Feb 11 2023 Fabian Affolter <mail@fabian-affolter.ch> - 0.9.5-1
|
|
|
ed641b3 |
- Update to latest upstream release 0.9.5 (closes rhbz#2157764)
|
|
|
ed641b3 |
|
|
|
3cc6107 |
* Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-8
|
|
|
3cc6107 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
|
|
3cc6107 |
|
|
|
a84d657 |
* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-7
|
|
|
a84d657 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
|
|
a84d657 |
|
|
|
c2601cc |
* Mon Jun 13 2022 Python Maint <python-maint@redhat.com> - 0.9.0-6
|
|
|
c2601cc |
- Rebuilt for Python 3.11
|
|
|
c2601cc |
|
|
|
554ce27 |
* Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-5
|
|
|
554ce27 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
|
|
554ce27 |
|
|
|
6848576 |
* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-4
|
|
|
6848576 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|
|
|
6848576 |
|
|
|
0e5eb6e |
* Fri Jun 04 2021 Python Maint <python-maint@redhat.com> - 0.9.0-3
|
|
|
0e5eb6e |
- Rebuilt for Python 3.10
|
|
|
0e5eb6e |
|
|
|
2adbf00 |
* Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.9.0-2
|
|
|
2adbf00 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
|
|
2adbf00 |
|
|
|
c371a04 |
* Tue Aug 11 2020 Fabian Affolter <mail@fabian-affolter.ch> - 0.9.0-1
|
|
|
c371a04 |
- Update to latest upstream release 0.9.0
|
|
|
c371a04 |
|
|
|
51f4bf6 |
* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-4
|
|
|
51f4bf6 |
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
|
|
|
51f4bf6 |
|
|
 |
ce7e7b0 |
* Tue May 26 2020 Miro HronĨok <mhroncok@redhat.com> - 0.8.0-3
|
|
|
ce7e7b0 |
- Rebuilt for Python 3.9
|
|
|
ce7e7b0 |
|
|
|
9b60398 |
* Thu Mar 26 2020 Fabian Affolter <mail@fabian-affolter.ch> - 0.8.0-2
|
|
|
9b60398 |
- Fix typo in description (rhbz#1808467)
|
|
|
9b60398 |
|
|
|
9b60398 |
* Fri Feb 28 2020 Fabian Affolter <mail@fabian-affolter.ch> - 0.8.0-1
|
|
|
9b60398 |
- Initial package for Fedora
|