{ "info": { "author": "Jip J. Dekker", "author_email": "jip@dekker.one", "bugtrack_url": null, "classifiers": [ "Development Status :: 4 - Beta", "License :: OSI Approved", "Operating System :: OS Independent", "Programming Language :: Python :: 3", "Programming Language :: Python :: 3.6", "Programming Language :: Python :: 3.7", "Programming Language :: Python :: Implementation :: CPython", "Programming Language :: Python :: Implementation :: PyPy", "Topic :: Scientific/Engineering :: Artificial Intelligence", "Topic :: Scientific/Engineering :: Mathematics" ], "description": "\n
\n

\n \n \"Logo\"\n \n\n

MiniZinc Python

\n\n

\n The python package that allows you to access all of MiniZinc's functionalities directly from Python.\n
\n Explore the docs \u00bb\n
\n
\n Report Bug\n \u00b7\n Request Feature\n

\n

\n\n\n\n## Table of Contents\n\n* [About the Project](#about-the-project)\n* [Getting Started](#getting-started)\n * [Installation](#installation)\n * [Usage](#usage)\n* [Testing](#testing)\n* [Roadmap](#roadmap)\n* [Contributing](#contributing)\n* [License](#license)\n* [Contact](#contact)\n\n\n\n\n## About The Project\n\n_MiniZinc Python_ provides an interface from Python to the MiniZinc driver. The\nmost important goal of this project are to allow easy access to MiniZinc using\nnative Python structures. This will allow you to more easily make scripts to run\nMiniZinc, but will also allow the integration of MiniZinc models within bigger\n(Python) projects. This module also aims to expose an interface for meta-search.\nFor problems that are hard to solve, meta-search can provide solutions to reach\nmore or better solutions quickly.\n\n\n\n## Getting Started\n\nTo get a MiniZinc Python up and running follow these simple steps.\n\n### Installation\n\n_MiniZinc Python_ can be installed by running `pip install minizinc`. It\nrequires [MiniZinc](https://www.minizinc.org/) 2.2.0+ and\n[Python](https://www.python.org/) 3.6.0+ to be installed on the system. MiniZinc\npython expects the `minizinc` executable to be available on the executable path,\nthe `$PATH` environmental variable, or in a default installation location.\n\n_For more information, please refer to the\n[Documentation](https://minizinc-python.readthedocs.io/en/latest/)_\n\n\n### Usage\n\nOnce all prerequisites and MiniZinc Python are installed, a `minizinc` module\nwill be available in Python. The following Python code shows how to run a\ntypical MiniZinc model.\n\n```python\nimport minizinc\n\n# Create a MiniZinc model\nmodel = minizinc.Model()\nmodel.add_string(\"\"\"\nvar -100..100: x;\nint: a; int: b; int: c;\nconstraint a*(x*x) + b*x = c;\nsolve satisfy;\n\"\"\")\n\n# Transform Model into a instance\ngecode = minizinc.Solver.lookup(\"gecode\")\ninst = minizinc.Instance(gecode, model)\ninst[\"a\"] = 1\ninst[\"b\"] = 4\ninst[\"c\"] = 0\n\n# Solve the instance\nresult = inst.solve(all_solutions=True)\nfor i in range(len(result)):\n print(\"x = {}\".format(result[i, \"x\"]))\n```\n\n_For more examples, please refer to the\n[Documentation](https://minizinc-python.readthedocs.io/en/latest/)_\n\n\n## Testing\n\nMiniZinc Python uses [Tox](https://pypi.org/project/tox/) environments to test\nits coding style and functionality. The code style tests are executed using\n[Black](https://pypi.org/project/black/),\n[Flake8](https://pypi.org/project/flake8/), and\n[isort](https://pypi.org/project/isort/). The functionality tests are\nconstructed using the [PyTest]() unit testing framework.\n\n * To run all tests, simply execute `tox` in the repository directory.\n * Individual environments can be triggered using the `-e` flag.\n * To test the coding style of the repository run `tox -e check`\n * The `py3x` environments are used to test a specific Python version; for\n example, to test using Python version 3.7 run `tox -e py37`\n\nTox can also be used to generate the documentation, `tox -e docs`, and to\ntypeset the Python code, `tox -e format`.\n\n\n## Roadmap\n\nSee the [open issues](https://gitlab.com/minizinc/minizinc-python/issues) for a\nlist of proposed features (and known issues).\n\n\n\n## Contributing\n\nContributions are what make the open source community such an amazing place to\nbe learn, inspire, and create. Any contributions you make are **greatly\nappreciated**.\n\n1. Fork the Project\n2. Create your Feature Branch (`git checkout -b feature/AmazingFeature`)\n3. Commit your Changes (`git commit -m 'Add some AmazingFeature'`)\n4. Push to the Branch (`git push origin feature/AmazingFeature`)\n5. Open a Merge Request\n\n\n\n## License\n\nDistributed under the Mozilla Public License Version 2.0. See `LICENSE` for more information.\n\n\n\n## Contact\n\ud83d\udc64 **Jip J. Dekker**\n * Twitter: [@DekkerOne](https://twitter.com/DekkerOne)\n * Github: [Dekker1](https://github.com/Dekker1)\n\n\ud83c\udfdb **MiniZinc**\n * Website: [https://www.minizinc.org/](https://www.minizinc.org/)\n\n\n\n\n\n\n\n", "description_content_type": "text/markdown", "docs_url": null, "download_url": "", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "https://www.minizinc.org/", "keywords": "", "license": "MPL-2.0", "maintainer": "Jip J. Dekker", "maintainer_email": "jip@dekker.one", "name": "minizinc", "package_url": "https://pypi.org/project/minizinc/", "platform": "", "project_url": "https://pypi.org/project/minizinc/", "project_urls": { "Documentation": "https://minizinc-python.readthedocs.io", "Homepage": "https://www.minizinc.org/", "Repository": "https://gitlab.com/minizinc/minizinc-python" }, "release_url": "https://pypi.org/project/minizinc/0.1.0/", "requires_dist": [ "dataclasses (>=0.6.0,<0.7.0); python_version < \"3.7\"", "lark-parser (>=0.7.5,<0.8.0)" ], "requires_python": ">=3.6,<4.0", "summary": "Access MiniZinc directly from Python", "version": "0.1.0" }, "last_serial": 5957763, "releases": { "0.1.0": [ { "comment_text": "", "digests": { "md5": "9de3dca8250e6ff487cbbf86027878c9", "sha256": "f5e33829813965910d6fab8ad31782bc5afc46972e6282f6175513e41f3a49af" }, "downloads": -1, "filename": "minizinc-0.1.0-py3-none-any.whl", "has_sig": false, "md5_digest": "9de3dca8250e6ff487cbbf86027878c9", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": ">=3.6,<4.0", "size": 35937, "upload_time": "2019-10-11T00:51:27", "url": "https://files.pythonhosted.org/packages/5d/1b/0a00ec69f1803577c95d0a2de3228303ee15fd3bf53b2a23f6b3ea35814c/minizinc-0.1.0-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "b147de8a106cbb8e939ad89059d40b11", "sha256": "9e7d0632213fe9b9cf4e07c5c8cd665c0927b57f0717c192f3600d57fbc905fe" }, "downloads": -1, "filename": "minizinc-0.1.0.tar.gz", "has_sig": false, "md5_digest": "b147de8a106cbb8e939ad89059d40b11", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3.6,<4.0", "size": 31175, "upload_time": "2019-10-11T00:51:29", "url": "https://files.pythonhosted.org/packages/cb/b7/97358657f3c9b364984b8f38400e931a63e6125a49e276b48824863d5ed1/minizinc-0.1.0.tar.gz" } ], "0.1.0a0": [ { "comment_text": "", "digests": { "md5": "1cf541a74632cf3747741d453ba608ed", "sha256": "3655698833b90621c5ce0438fde5e7d0f47ec7133e8bf3dca539939d9dbf1b72" }, "downloads": -1, "filename": "minizinc-0.1.0a0-py3-none-any.whl", "has_sig": false, "md5_digest": "1cf541a74632cf3747741d453ba608ed", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": ">=3.6", "size": 18417, "upload_time": "2019-01-31T06:59:47", "url": "https://files.pythonhosted.org/packages/62/61/f6c4aefcfff86fdc34341f86417ab46e5e9e78798007e261f00017befd55/minizinc-0.1.0a0-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "bf1e8791ea71d0ae6217bdbbb45cb2cc", "sha256": "e58a839cec7ee2c2115a8b69a784a0b73f0b1b77d5aa07ae5eae73fbef8df0af" }, "downloads": -1, "filename": "minizinc-0.1.0a0.tar.gz", "has_sig": false, "md5_digest": "bf1e8791ea71d0ae6217bdbbb45cb2cc", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3.6", "size": 9407, "upload_time": "2019-01-31T07:00:14", "url": "https://files.pythonhosted.org/packages/2d/1a/7c5b32fe76f969fd83df408a1812d65b9e708398ba09f13e87c4edc0ec8e/minizinc-0.1.0a0.tar.gz" } ], "0.1.0a1": [ { "comment_text": "", "digests": { "md5": "0c643f8015533b9cf664974452c6434f", "sha256": "c2785feeac82f0dd860f13982a646cd0ff87900fe7fdea56b2b67b17bede9216" }, "downloads": -1, "filename": "minizinc-0.1.0a1-py3-none-any.whl", "has_sig": false, "md5_digest": "0c643f8015533b9cf664974452c6434f", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": ">=3.6", "size": 25645, "upload_time": "2019-02-08T03:51:58", "url": "https://files.pythonhosted.org/packages/db/8b/90bfa32c98b9184dbda7282fac7fbc9c1915b2f57a681dde397fcc05c6df/minizinc-0.1.0a1-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "267875f8b65d85a2429bec53f484bbc0", "sha256": "749b58fdc0e9e108b24c6f18234bcec148a08475a1d3e03c28b5a2e048313312" }, "downloads": -1, "filename": "minizinc-0.1.0a1.tar.gz", "has_sig": false, "md5_digest": "267875f8b65d85a2429bec53f484bbc0", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3.6", "size": 15633, "upload_time": "2019-02-08T03:52:00", "url": "https://files.pythonhosted.org/packages/86/54/9c98be2e81137163bd997d3fd40b6f6ef2d7289aa56b6d37851f28b04533/minizinc-0.1.0a1.tar.gz" } ], "0.1.0a2": [ { "comment_text": "", "digests": { "md5": "8fe44c6b26fb34a6b59746d227ec5b71", "sha256": "0a664aead54a02de5ce21b65803ab3f77335698bacd06bc2adceb18ae5254f1d" }, "downloads": -1, "filename": "minizinc-0.1.0a2-py3-none-any.whl", "has_sig": false, "md5_digest": "8fe44c6b26fb34a6b59746d227ec5b71", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": ">=3.6", "size": 31201, "upload_time": "2019-04-09T04:24:15", "url": "https://files.pythonhosted.org/packages/4c/c4/24bac739fccd61ad85989fa09008a40c4210ee000ee05dff28b3850e49b0/minizinc-0.1.0a2-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "3a9814914de8bf13e7fe717fb9e410fd", "sha256": "d5c951723a002f0a2a64bcf6b7eca4277c01e1c44108b27e2182ad18f952776b" }, "downloads": -1, "filename": "minizinc-0.1.0a2.tar.gz", "has_sig": false, "md5_digest": "3a9814914de8bf13e7fe717fb9e410fd", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3.6", "size": 17875, "upload_time": "2019-04-09T04:24:17", "url": "https://files.pythonhosted.org/packages/87/af/4816ac8c02f6bf6cf8a75c2613140618b121c10de84e59acdcf035cfbd59/minizinc-0.1.0a2.tar.gz" } ], "0.1.0a3": [ { "comment_text": "", "digests": { "md5": "f462271c2e7fa1f2ef89439ebc661464", "sha256": "d31aeebf3d7d3f7b5c9d6da64d31cb704356df9e065582a1a231dee76217ab5f" }, "downloads": -1, "filename": "minizinc-0.1.0a3-py3-none-any.whl", "has_sig": false, "md5_digest": "f462271c2e7fa1f2ef89439ebc661464", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": ">=3.6", "size": 33275, "upload_time": "2019-08-14T04:08:46", "url": "https://files.pythonhosted.org/packages/0b/ec/9333ddd1e2a2143f53f57be5b5272437fcb41486eb9ed193049afe4729f7/minizinc-0.1.0a3-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "1d4073cd7eee63ea97792d20d16239b4", "sha256": "ee5171230026df3b26e4b41146c6d7c454afb8519329c3c7c4a8f944a1a0d64b" }, "downloads": -1, "filename": "minizinc-0.1.0a3.tar.gz", "has_sig": false, "md5_digest": "1d4073cd7eee63ea97792d20d16239b4", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3.6", "size": 23364, "upload_time": "2019-08-14T04:08:48", "url": "https://files.pythonhosted.org/packages/6e/5d/83a507352ec933f93173bd4d5f153e79aef2a80dae6dc2783532aa1b6006/minizinc-0.1.0a3.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "9de3dca8250e6ff487cbbf86027878c9", "sha256": "f5e33829813965910d6fab8ad31782bc5afc46972e6282f6175513e41f3a49af" }, "downloads": -1, "filename": "minizinc-0.1.0-py3-none-any.whl", "has_sig": false, "md5_digest": "9de3dca8250e6ff487cbbf86027878c9", "packagetype": "bdist_wheel", "python_version": "py3", "requires_python": ">=3.6,<4.0", "size": 35937, "upload_time": "2019-10-11T00:51:27", "url": "https://files.pythonhosted.org/packages/5d/1b/0a00ec69f1803577c95d0a2de3228303ee15fd3bf53b2a23f6b3ea35814c/minizinc-0.1.0-py3-none-any.whl" }, { "comment_text": "", "digests": { "md5": "b147de8a106cbb8e939ad89059d40b11", "sha256": "9e7d0632213fe9b9cf4e07c5c8cd665c0927b57f0717c192f3600d57fbc905fe" }, "downloads": -1, "filename": "minizinc-0.1.0.tar.gz", "has_sig": false, "md5_digest": "b147de8a106cbb8e939ad89059d40b11", "packagetype": "sdist", "python_version": "source", "requires_python": ">=3.6,<4.0", "size": 31175, "upload_time": "2019-10-11T00:51:29", "url": "https://files.pythonhosted.org/packages/cb/b7/97358657f3c9b364984b8f38400e931a63e6125a49e276b48824863d5ed1/minizinc-0.1.0.tar.gz" } ] }