MiniZinc/minizinc-python issues and pull requests

#170 - `lookup()`'s behavior is different from `minizinc --solver <s>`

Issue - State: open - Opened by LebedevRI about 1 month ago - 1 comment

#169 - Bump the development group across 1 directory with 6 updates

Pull Request - State: open - Opened by dependabot[bot] about 2 months ago
Labels: dependencies, python

#168 - Bump the development group across 1 directory with 6 updates

Pull Request - State: closed - Opened by dependabot[bot] about 2 months ago - 1 comment
Labels: dependencies, python

#167 - Bump the development group across 1 directory with 6 updates

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, python

#166 - Bump the development group across 1 directory with 5 updates

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, python

#165 - Bump the development group across 1 directory with 5 updates

Pull Request - State: closed - Opened by dependabot[bot] 2 months ago - 1 comment
Labels: dependencies, python

#164 - Bump setuptools from 69.0.2 to 70.0.0

Pull Request - State: open - Opened by dependabot[bot] 3 months ago
Labels: dependencies, python

#163 - Bump the development group across 1 directory with 5 updates

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies, python

#162 - Bump zipp from 3.17.0 to 3.19.1

Pull Request - State: open - Opened by dependabot[bot] 3 months ago
Labels: dependencies, python

#161 - Bump the development group across 1 directory with 5 updates

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies, python

#160 - Bump certifi from 2023.11.17 to 2024.7.4

Pull Request - State: open - Opened by dependabot[bot] 3 months ago
Labels: dependencies, python

#159 - Bump the development group across 1 directory with 5 updates

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies, python

#158 - Bump the development group across 1 directory with 4 updates

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago - 1 comment
Labels: dependencies, python

#157 - Bump urllib3 from 2.1.0 to 2.2.2

Pull Request - State: open - Opened by dependabot[bot] 4 months ago
Labels: dependencies, python

#156 - Bump the development group across 1 directory with 4 updates

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, python

#155 - Bump the development group across 1 directory with 4 updates

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, python

#154 - Bump the development group across 1 directory with 2 updates

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, python

#153 - Bump the development group with 2 updates

Pull Request - State: closed - Opened by dependabot[bot] 4 months ago - 1 comment
Labels: dependencies, python

#152 - Bump requests from 2.31.0 to 2.32.0

Pull Request - State: open - Opened by dependabot[bot] 5 months ago
Labels: dependencies, python

#151 - Bump the development group across 1 directory with 3 updates

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies, python

#150 - Bump ruff from 0.4.3 to 0.4.4 in the development group

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago - 1 comment
Labels: dependencies, python

#149 - Bump jinja2 from 3.1.3 to 3.1.4

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies, python

#148 - Bump the development group with 2 updates

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies, python

#147 - Bump the development group with 6 updates

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies, python

#146 - Bump the development group with 2 updates

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies, python

#145 - Bump the development group with 2 updates

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies, python

#144 - Bump idna from 3.6 to 3.7

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies, python

#141 - Bump the development group with 2 updates

Pull Request - State: closed - Opened by dependabot[bot] 6 months ago
Labels: dependencies, python

#140 - Bump the development group with 3 updates

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies, python

#139 - Bump the development group with 5 updates

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies, python

#138 - Bump the development group with 3 updates

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies, python

#137 - Bump the development group with 3 updates

Pull Request - State: closed - Opened by dependabot[bot] 7 months ago
Labels: dependencies, python

#136 - Bump cryptography from 42.0.2 to 42.0.4

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, python

#135 - Bump the development group with 4 updates

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, python

#134 - Bump cryptography from 42.0.0 to 42.0.2

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, python

#133 - Bump the development group with 1 update

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, python

#132 - Bump cryptography from 41.0.7 to 42.0.0

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, python

#131 - Bump the development group with 1 update

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, python

#130 - Bump the development group with 3 updates

Pull Request - State: closed - Opened by dependabot[bot] 8 months ago
Labels: dependencies, python

#129 - Bump the development group with 2 updates

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, python

#128 - Bump actions/cache from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, github_actions

#127 - Bump the development group with 1 update

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, python

#126 - Support for Python "infinity" value for MZNJSONEncoder

Issue - State: open - Opened by raphaelboudreault 9 months ago - 4 comments
Labels: enhancement

#125 - Bump jinja2 from 3.1.2 to 3.1.3

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, python

#124 - Bump the development group with 3 updates

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, python

#123 - Add more explicit errors when invalid JSON is emitted by MiniZinc

Pull Request - State: closed - Opened by Dekker1 9 months ago

#122 - Bump the development group with 1 update

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, python

#121 - Bump actions/checkout from 2 to 4

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, github_actions

#120 - Bump actions/setup-python from 4 to 5

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, github_actions

#119 - Bump actions/cache from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, github_actions

#118 - Bump actions/upload-artifact from 2 to 4

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies, github_actions

#117 - Small dependency management update

Pull Request - State: closed - Opened by Dekker1 9 months ago

#116 - Bump black from 23.12.0 to 23.12.1

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#115 - Bump ruff from 0.1.8 to 0.1.9

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago - 1 comment
Labels: dependencies

#114 - Bump mypy from 1.7.1 to 1.8.0

Pull Request - State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies

#113 - Bump isort from 5.13.0 to 5.13.2

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#112 - Bump black from 23.11.0 to 23.12.0

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#111 - Bump ruff from 0.1.7 to 0.1.8

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#110 - Bump ruff from 0.1.5 to 0.1.7

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#109 - Bump isort from 5.12.0 to 5.13.0

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#108 - Small miscellaneous fixes

Pull Request - State: closed - Opened by Dekker1 10 months ago

#107 - Bump tox from 4.11.3 to 4.11.4

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#106 - Bump sphinx-rtd-theme from 1.3.0 to 2.0.0

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago - 1 comment
Labels: dependencies

#105 - Bump types-setuptools from 68.2.0.2 to 69.0.0.0

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#104 - Bump cryptography from 41.0.5 to 41.0.6

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#103 - Obtain a reference to a python instantiation of the underlying solver

Issue - State: closed - Opened by marcovc 10 months ago - 2 comments
Labels: wontfix

#102 - Bump mypy from 1.4.1 to 1.7.1

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago - 1 comment
Labels: dependencies

#101 - Bump types-setuptools from 65.7.0.4 to 68.2.0.2

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago - 1 comment
Labels: dependencies

#100 - Bump pygments from 2.17.1 to 2.17.2

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#99 - Bump ruff from 0.0.126 to 0.1.6

Pull Request - State: closed - Opened by dependabot[bot] 10 months ago
Labels: dependencies

#98 - Request output item only when present in the model interface

Pull Request - State: closed - Opened by Dekker1 11 months ago

#97 - Update readthedocs configuration

Pull Request - State: closed - Opened by Dekker1 11 months ago

#96 - Bump sphinx from 4.5.0 to 5.3.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 1 comment
Labels: dependencies

#95 - Bump mypy from 0.950 to 1.4.1

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#94 - Bump cryptography from 41.0.1 to 41.0.4

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#93 - Bump urllib3 from 1.26.16 to 1.26.18

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#92 - Bump certifi from 2023.5.7 to 2023.7.22

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#91 - Fix (not) handling exceptions when creating processes

Pull Request - State: closed - Opened by Dekker1 11 months ago

#90 - Remove set to range optimization

Pull Request - State: closed - Opened by hbierlee 12 months ago

#89 - Rename timeout parameter to time_limit

Pull Request - State: closed - Opened by Dekker1 almost 1 year ago

#88 - Add timeout and TimeoutError for checker solver

Pull Request - State: closed - Opened by hbierlee about 1 year ago

#87 - Finding diverse solution for MiniZinc instances

Pull Request - State: open - Opened by ilansen about 1 year ago
Labels: enhancement

#86 - no intermediate solutions in async solutions

Pull Request - State: closed - Opened by Dekker1 about 1 year ago

#85 - Clarify (poetry) build instructions to run Tox

Pull Request - State: closed - Opened by hbierlee about 1 year ago

#84 - Fix no intermediate solutions for async solutions

Pull Request - State: closed - Opened by hbierlee about 1 year ago

#83 - timeout parameter receives timedelta but still not working

Issue - State: closed - Opened by AlvielD about 1 year ago - 5 comments

#82 - fix typo in documentation

Pull Request - State: closed - Opened by fanosta over 1 year ago

#79 - Update the handling of standard solver flags handling number of solutions

Pull Request - State: closed - Opened by Dekker1 over 1 year ago

#78 - '--intermediate-solutions' command line argument

Issue - State: closed - Opened by viraj96 over 1 year ago - 1 comment
Labels: bug

#77 - Need information for output (json)

Issue - State: closed - Opened by borisalmonacid over 1 year ago - 4 comments

#76 - Update version to 0.9.0

Pull Request - State: closed - Opened by Dekker1 over 1 year ago

#75 - Add support for Records and Tuples

Pull Request - State: closed - Opened by Dekker1 over 1 year ago

#74 - Pass enum definitions to the compiler using JSON

Pull Request - State: closed - Opened by Dekker1 over 1 year ago

#73 - Asyncronous environment calling, Anaconda.

Issue - State: closed - Opened by SJMC29 over 1 year ago - 3 comments

#72 - Driver is None

Issue - State: closed - Opened by Git-Fanfo over 1 year ago - 4 comments

#71 - Fix the use of Python enumerated types in MiniZinc with non-ascii names

Pull Request - State: closed - Opened by Dekker1 over 1 year ago

#70 - Replace flake8 with ruff

Pull Request - State: closed - Opened by Dekker1 almost 2 years ago

#69 - Add CodeQL workflow for GitHub code scanning

Pull Request - State: open - Opened by lgtm-com[bot] almost 2 years ago

#68 - verbose parameter

Issue - State: open - Opened by hadipourh almost 2 years ago - 1 comment
Labels: enhancement, help wanted

#67 - keyboard interrupt

Issue - State: open - Opened by hadipourh almost 2 years ago - 1 comment
Labels: enhancement

GitHub / MiniZinc/minizinc-python issues and pull requests