minizinc-python

minizinc-python copied to clipboard

Dekker1

Usage of findMUS solver

4

How can we implement ['/Applications/MiniZincIDE.app/Contents/Resources/minizinc', '--solver', '[email protected]', '--named-only', ...]? I can use the argument when using '/Applications/MiniZincIDE.app/Contents/Resources/bin/findMUS' instead but I was wondering if there is a cleaner way of doing...

SantiagoQUINTANA

Usage of IntEnum in array model input

1

The standard `JSONEncoder` that is used to create the JSON input for a MiniZinc model ensures that an `IntEnum` is always represented using its integer representation: https://github.com/python/cpython/blob/3.9/Lib/json/encoder.py#L309-L313 Normally the JSON...

Dekker1

Support for Python "infinity" value for MZNJSONEncoder

4

Using Python infinity value in the MiniZinc data is encoded in JSON as "Infinity" instead of "infinity", which makes MiniZinc crash. I believe the best way would be to change...

raphaelboudreault

ilansen

keyboard interrupt

1

Hello all, I would just like to report that we can not get the intermediate solution after a keyboard interruption. However, this feature is available when we use Minizinc through...

hadipourh

verbose parameter

1

Hi all, I create this issue to discuss the `verbose` parameter. I am feeding the `solve` command with the following arguments: ``` cp_inst.solve(timeout=time_limit, processes=self.num_of_threads, verbose=True, debug_output=Path("./debug_output.txt", intermediate_solutions=True), optimisation_level=2) ``` My...

hadipourh

Hi `MiniZinc/minizinc-python`! This is a one-off automatically generated pull request from LGTM.com :robot:. You might have heard that we’ve integrated LGTM’s underlying CodeQL analysis engine natively into GitHub. The result...

lgtm-com[bot]

Bumps [zipp](https://github.com/jaraco/zipp) from 3.17.0 to 3.19.1. Changelog Sourced from zipp's changelog. v3.19.1 Bugfixes Improved handling of malformed zip files. (#119) v3.19.0 Features Implement is_symlink. (#117) v3.18.2 No significant changes. v3.18.1...

dependabot[bot]

Bumps the development group with 5 updates in the / directory: | Package | From | To | | --- | --- | --- | | [tox](https://github.com/tox-dev/tox) | `4.15.0` |...

dependabot[bot]