diff options
Diffstat (limited to 'python-minizinc.spec')
| -rw-r--r-- | python-minizinc.spec | 556 |
1 files changed, 556 insertions, 0 deletions
diff --git a/python-minizinc.spec b/python-minizinc.spec new file mode 100644 index 0000000..3ffd4b1 --- /dev/null +++ b/python-minizinc.spec @@ -0,0 +1,556 @@ +%global _empty_manifest_terminate_build 0 +Name: python-minizinc +Version: 0.9.0 +Release: 1 +Summary: Access MiniZinc directly from Python +License: MPL-2.0 +URL: https://www.minizinc.org/ +Source0: https://mirrors.nju.edu.cn/pypi/web/packages/85/8f/91efc03090c536797fb2c023ed3418217d1804cdfd2744c27a71e8fad8e8/minizinc-0.9.0.tar.gz +BuildArch: noarch + +Requires: python3-lark-parser + +%description +<!-- PROJECT LOGO --> +<br /> +<p align="center"> + <a href="https://github.com/MiniZinc/minizinc-python"> + <img src="https://www.minizinc.org/MiniZn_logo.png" alt="Logo" width="80" height="80"> + </a> + + <h3 align="center">MiniZinc Python</h3> + + <p align="center"> + The python package that allows you to access all of MiniZinc's functionalities directly from Python. + <br /> + <a href="https://minizinc-python.readthedocs.io/en/latest/"><strong>Explore the docs »</strong></a> + <br /> + <br /> + <a href="https://github.com/MiniZinc/minizinc-python/issues">Report Bug</a> + · + <a href="https://github.com/MiniZinc/minizinc-python/issues">Request Feature</a> + </p> +</p> + + +<!-- TABLE OF CONTENTS --> +## Table of Contents + +* [About the Project](#about-the-project) +* [Getting Started](#getting-started) + * [Installation](#installation) + * [Usage](#usage) +* [Testing](#testing) +* [Roadmap](#roadmap) +* [Contributing](#contributing) +* [License](#license) +* [Contact](#contact) +<!-- * [Acknowledgements](#acknowledgements) --> + + +<!-- ABOUT THE PROJECT --> +## About The Project + +_MiniZinc Python_ provides an interface from Python to the MiniZinc driver. The +most important goal of this project are to allow easy access to MiniZinc using +native Python structures. This will allow you to more easily make scripts to run +MiniZinc, but will also allow the integration of MiniZinc models within bigger +(Python) projects. This module also aims to expose an interface for meta-search. +For problems that are hard to solve, meta-search can provide solutions to reach +more or better solutions quickly. + + +<!-- GETTING STARTED --> +## Getting Started + +To get a MiniZinc Python up and running follow these simple steps. + +### Installation + +_MiniZinc Python_ can be installed by running `pip install minizinc`. It +requires [MiniZinc](https://www.minizinc.org/) 2.5.0+ and +[Python](https://www.python.org/) 3.6.0+ to be installed on the system. MiniZinc +python expects the `minizinc` executable to be available on the executable path, +the `$PATH` environmental variable, or in a default installation location. + +_For more information, please refer to the +[Documentation](https://minizinc-python.readthedocs.io/en/latest/)_ + + +### Usage + +Once all prerequisites and MiniZinc Python are installed, a `minizinc` module +will be available in Python. The following Python code shows how to run a +typical MiniZinc model. + +```python +import minizinc + +# Create a MiniZinc model +model = minizinc.Model() +model.add_string(""" +var -100..100: x; +int: a; int: b; int: c; +constraint a*(x*x) + b*x = c; +solve satisfy; +""") + +# Transform Model into a instance +gecode = minizinc.Solver.lookup("gecode") +inst = minizinc.Instance(gecode, model) +inst["a"] = 1 +inst["b"] = 4 +inst["c"] = 0 + +# Solve the instance +result = inst.solve(all_solutions=True) +for i in range(len(result)): + print("x = {}".format(result[i, "x"])) +``` + +_For more examples, please refer to the +[Documentation](https://minizinc-python.readthedocs.io/en/latest/)_ + +<!-- TESTING INSTRUCTIONS --> +## Testing + +MiniZinc Python uses [Tox](https://pypi.org/project/tox/) environments to test +its coding style and functionality. The code style tests are executed using +[Black](https://pypi.org/project/black/), +[Flake8](https://pypi.org/project/flake8/), and +[isort](https://pypi.org/project/isort/). The functionality tests are +constructed using the [PyTest]() unit testing framework. + + * To run all tests, simply execute `tox` in the repository directory. + * Individual environments can be triggered using the `-e` flag. + * To test the coding style of the repository run `tox -e check` + * The `py3x` environments are used to test a specific Python version; for + example, to test using Python version 3.7 run `tox -e py37` + +Tox can also be used to generate the documentation, `tox -e docs`, and to +typeset the Python code, `tox -e format`. + +<!-- ROADMAP --> +## Roadmap + +See the [open issues](https://github.com/MiniZinc/minizinc-python/issues) for a +list of proposed features (and known issues). + + +<!-- CONTRIBUTING --> +## Contributing + +Contributions are what make the open source community such an amazing place to +be learn, inspire, and create. Any contributions you make are **greatly +appreciated**. + +1. Fork the Project +2. Create your Feature Branch (`git checkout -b feature/AmazingFeature`) +3. Commit your Changes (`git commit -m 'Add some AmazingFeature'`) +4. Push to the Branch (`git push origin feature/AmazingFeature`) +5. Open a Pull Request + + +<!-- LICENSE --> +## License + +Distributed under the Mozilla Public License Version 2.0. See `LICENSE` for more information. + + +<!-- CONTACT --> +## Contact +👤 **Jip J. Dekker** + * Twitter: [@DekkerOne](https://twitter.com/DekkerOne) + * Github: [Dekker1](https://github.com/Dekker1) + +🏛 **MiniZinc** + * Website: [https://www.minizinc.org/](https://www.minizinc.org/) + +<!-- ACKNOWLEDGEMENTS --> +<!-- ## Acknowledgements --> + +<!-- * []() --> +<!-- * []() --> +<!-- * []() --> + + +%package -n python3-minizinc +Summary: Access MiniZinc directly from Python +Provides: python-minizinc +BuildRequires: python3-devel +BuildRequires: python3-setuptools +BuildRequires: python3-pip +%description -n python3-minizinc +<!-- PROJECT LOGO --> +<br /> +<p align="center"> + <a href="https://github.com/MiniZinc/minizinc-python"> + <img src="https://www.minizinc.org/MiniZn_logo.png" alt="Logo" width="80" height="80"> + </a> + + <h3 align="center">MiniZinc Python</h3> + + <p align="center"> + The python package that allows you to access all of MiniZinc's functionalities directly from Python. + <br /> + <a href="https://minizinc-python.readthedocs.io/en/latest/"><strong>Explore the docs »</strong></a> + <br /> + <br /> + <a href="https://github.com/MiniZinc/minizinc-python/issues">Report Bug</a> + · + <a href="https://github.com/MiniZinc/minizinc-python/issues">Request Feature</a> + </p> +</p> + + +<!-- TABLE OF CONTENTS --> +## Table of Contents + +* [About the Project](#about-the-project) +* [Getting Started](#getting-started) + * [Installation](#installation) + * [Usage](#usage) +* [Testing](#testing) +* [Roadmap](#roadmap) +* [Contributing](#contributing) +* [License](#license) +* [Contact](#contact) +<!-- * [Acknowledgements](#acknowledgements) --> + + +<!-- ABOUT THE PROJECT --> +## About The Project + +_MiniZinc Python_ provides an interface from Python to the MiniZinc driver. The +most important goal of this project are to allow easy access to MiniZinc using +native Python structures. This will allow you to more easily make scripts to run +MiniZinc, but will also allow the integration of MiniZinc models within bigger +(Python) projects. This module also aims to expose an interface for meta-search. +For problems that are hard to solve, meta-search can provide solutions to reach +more or better solutions quickly. + + +<!-- GETTING STARTED --> +## Getting Started + +To get a MiniZinc Python up and running follow these simple steps. + +### Installation + +_MiniZinc Python_ can be installed by running `pip install minizinc`. It +requires [MiniZinc](https://www.minizinc.org/) 2.5.0+ and +[Python](https://www.python.org/) 3.6.0+ to be installed on the system. MiniZinc +python expects the `minizinc` executable to be available on the executable path, +the `$PATH` environmental variable, or in a default installation location. + +_For more information, please refer to the +[Documentation](https://minizinc-python.readthedocs.io/en/latest/)_ + + +### Usage + +Once all prerequisites and MiniZinc Python are installed, a `minizinc` module +will be available in Python. The following Python code shows how to run a +typical MiniZinc model. + +```python +import minizinc + +# Create a MiniZinc model +model = minizinc.Model() +model.add_string(""" +var -100..100: x; +int: a; int: b; int: c; +constraint a*(x*x) + b*x = c; +solve satisfy; +""") + +# Transform Model into a instance +gecode = minizinc.Solver.lookup("gecode") +inst = minizinc.Instance(gecode, model) +inst["a"] = 1 +inst["b"] = 4 +inst["c"] = 0 + +# Solve the instance +result = inst.solve(all_solutions=True) +for i in range(len(result)): + print("x = {}".format(result[i, "x"])) +``` + +_For more examples, please refer to the +[Documentation](https://minizinc-python.readthedocs.io/en/latest/)_ + +<!-- TESTING INSTRUCTIONS --> +## Testing + +MiniZinc Python uses [Tox](https://pypi.org/project/tox/) environments to test +its coding style and functionality. The code style tests are executed using +[Black](https://pypi.org/project/black/), +[Flake8](https://pypi.org/project/flake8/), and +[isort](https://pypi.org/project/isort/). The functionality tests are +constructed using the [PyTest]() unit testing framework. + + * To run all tests, simply execute `tox` in the repository directory. + * Individual environments can be triggered using the `-e` flag. + * To test the coding style of the repository run `tox -e check` + * The `py3x` environments are used to test a specific Python version; for + example, to test using Python version 3.7 run `tox -e py37` + +Tox can also be used to generate the documentation, `tox -e docs`, and to +typeset the Python code, `tox -e format`. + +<!-- ROADMAP --> +## Roadmap + +See the [open issues](https://github.com/MiniZinc/minizinc-python/issues) for a +list of proposed features (and known issues). + + +<!-- CONTRIBUTING --> +## Contributing + +Contributions are what make the open source community such an amazing place to +be learn, inspire, and create. Any contributions you make are **greatly +appreciated**. + +1. Fork the Project +2. Create your Feature Branch (`git checkout -b feature/AmazingFeature`) +3. Commit your Changes (`git commit -m 'Add some AmazingFeature'`) +4. Push to the Branch (`git push origin feature/AmazingFeature`) +5. Open a Pull Request + + +<!-- LICENSE --> +## License + +Distributed under the Mozilla Public License Version 2.0. See `LICENSE` for more information. + + +<!-- CONTACT --> +## Contact +👤 **Jip J. Dekker** + * Twitter: [@DekkerOne](https://twitter.com/DekkerOne) + * Github: [Dekker1](https://github.com/Dekker1) + +🏛 **MiniZinc** + * Website: [https://www.minizinc.org/](https://www.minizinc.org/) + +<!-- ACKNOWLEDGEMENTS --> +<!-- ## Acknowledgements --> + +<!-- * []() --> +<!-- * []() --> +<!-- * []() --> + + +%package help +Summary: Development documents and examples for minizinc +Provides: python3-minizinc-doc +%description help +<!-- PROJECT LOGO --> +<br /> +<p align="center"> + <a href="https://github.com/MiniZinc/minizinc-python"> + <img src="https://www.minizinc.org/MiniZn_logo.png" alt="Logo" width="80" height="80"> + </a> + + <h3 align="center">MiniZinc Python</h3> + + <p align="center"> + The python package that allows you to access all of MiniZinc's functionalities directly from Python. + <br /> + <a href="https://minizinc-python.readthedocs.io/en/latest/"><strong>Explore the docs »</strong></a> + <br /> + <br /> + <a href="https://github.com/MiniZinc/minizinc-python/issues">Report Bug</a> + · + <a href="https://github.com/MiniZinc/minizinc-python/issues">Request Feature</a> + </p> +</p> + + +<!-- TABLE OF CONTENTS --> +## Table of Contents + +* [About the Project](#about-the-project) +* [Getting Started](#getting-started) + * [Installation](#installation) + * [Usage](#usage) +* [Testing](#testing) +* [Roadmap](#roadmap) +* [Contributing](#contributing) +* [License](#license) +* [Contact](#contact) +<!-- * [Acknowledgements](#acknowledgements) --> + + +<!-- ABOUT THE PROJECT --> +## About The Project + +_MiniZinc Python_ provides an interface from Python to the MiniZinc driver. The +most important goal of this project are to allow easy access to MiniZinc using +native Python structures. This will allow you to more easily make scripts to run +MiniZinc, but will also allow the integration of MiniZinc models within bigger +(Python) projects. This module also aims to expose an interface for meta-search. +For problems that are hard to solve, meta-search can provide solutions to reach +more or better solutions quickly. + + +<!-- GETTING STARTED --> +## Getting Started + +To get a MiniZinc Python up and running follow these simple steps. + +### Installation + +_MiniZinc Python_ can be installed by running `pip install minizinc`. It +requires [MiniZinc](https://www.minizinc.org/) 2.5.0+ and +[Python](https://www.python.org/) 3.6.0+ to be installed on the system. MiniZinc +python expects the `minizinc` executable to be available on the executable path, +the `$PATH` environmental variable, or in a default installation location. + +_For more information, please refer to the +[Documentation](https://minizinc-python.readthedocs.io/en/latest/)_ + + +### Usage + +Once all prerequisites and MiniZinc Python are installed, a `minizinc` module +will be available in Python. The following Python code shows how to run a +typical MiniZinc model. + +```python +import minizinc + +# Create a MiniZinc model +model = minizinc.Model() +model.add_string(""" +var -100..100: x; +int: a; int: b; int: c; +constraint a*(x*x) + b*x = c; +solve satisfy; +""") + +# Transform Model into a instance +gecode = minizinc.Solver.lookup("gecode") +inst = minizinc.Instance(gecode, model) +inst["a"] = 1 +inst["b"] = 4 +inst["c"] = 0 + +# Solve the instance +result = inst.solve(all_solutions=True) +for i in range(len(result)): + print("x = {}".format(result[i, "x"])) +``` + +_For more examples, please refer to the +[Documentation](https://minizinc-python.readthedocs.io/en/latest/)_ + +<!-- TESTING INSTRUCTIONS --> +## Testing + +MiniZinc Python uses [Tox](https://pypi.org/project/tox/) environments to test +its coding style and functionality. The code style tests are executed using +[Black](https://pypi.org/project/black/), +[Flake8](https://pypi.org/project/flake8/), and +[isort](https://pypi.org/project/isort/). The functionality tests are +constructed using the [PyTest]() unit testing framework. + + * To run all tests, simply execute `tox` in the repository directory. + * Individual environments can be triggered using the `-e` flag. + * To test the coding style of the repository run `tox -e check` + * The `py3x` environments are used to test a specific Python version; for + example, to test using Python version 3.7 run `tox -e py37` + +Tox can also be used to generate the documentation, `tox -e docs`, and to +typeset the Python code, `tox -e format`. + +<!-- ROADMAP --> +## Roadmap + +See the [open issues](https://github.com/MiniZinc/minizinc-python/issues) for a +list of proposed features (and known issues). + + +<!-- CONTRIBUTING --> +## Contributing + +Contributions are what make the open source community such an amazing place to +be learn, inspire, and create. Any contributions you make are **greatly +appreciated**. + +1. Fork the Project +2. Create your Feature Branch (`git checkout -b feature/AmazingFeature`) +3. Commit your Changes (`git commit -m 'Add some AmazingFeature'`) +4. Push to the Branch (`git push origin feature/AmazingFeature`) +5. Open a Pull Request + + +<!-- LICENSE --> +## License + +Distributed under the Mozilla Public License Version 2.0. See `LICENSE` for more information. + + +<!-- CONTACT --> +## Contact +👤 **Jip J. Dekker** + * Twitter: [@DekkerOne](https://twitter.com/DekkerOne) + * Github: [Dekker1](https://github.com/Dekker1) + +🏛 **MiniZinc** + * Website: [https://www.minizinc.org/](https://www.minizinc.org/) + +<!-- ACKNOWLEDGEMENTS --> +<!-- ## Acknowledgements --> + +<!-- * []() --> +<!-- * []() --> +<!-- * []() --> + + +%prep +%autosetup -n minizinc-0.9.0 + +%build +%py3_build + +%install +%py3_install +install -d -m755 %{buildroot}/%{_pkgdocdir} +if [ -d doc ]; then cp -arf doc %{buildroot}/%{_pkgdocdir}; fi +if [ -d docs ]; then cp -arf docs %{buildroot}/%{_pkgdocdir}; fi +if [ -d example ]; then cp -arf example %{buildroot}/%{_pkgdocdir}; fi +if [ -d examples ]; then cp -arf examples %{buildroot}/%{_pkgdocdir}; fi +pushd %{buildroot} +if [ -d usr/lib ]; then + find usr/lib -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/lib64 ]; then + find usr/lib64 -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/bin ]; then + find usr/bin -type f -printf "/%h/%f\n" >> filelist.lst +fi +if [ -d usr/sbin ]; then + find usr/sbin -type f -printf "/%h/%f\n" >> filelist.lst +fi +touch doclist.lst +if [ -d usr/share/man ]; then + find usr/share/man -type f -printf "/%h/%f.gz\n" >> doclist.lst +fi +popd +mv %{buildroot}/filelist.lst . +mv %{buildroot}/doclist.lst . + +%files -n python3-minizinc -f filelist.lst +%dir %{python3_sitelib}/* + +%files help -f doclist.lst +%{_docdir}/* + +%changelog +* Fri May 05 2023 Python_Bot <Python_Bot@openeuler.org> - 0.9.0-1 +- Package Spec generated |