issues Search Results · repo:MiniZinc/minizinc-python language:Python
Filter by
39 results
(64 ms)39 results
inMiniZinc/minizinc-python (press backspace or delete to remove)The call to open() to terminate MiniZinc on Windows omits the encoding argument. This triggers an EncodingWarning if
warnings are enabled (-W default).
The fix is as follows:
--- a/src/minizinc/instance.py ...
aklein3
- Opened 7 days ago
- #200
I m creating a somewhat large model and creating a Model via the add_string method. Then, quite a bit of time is spent
on creating an instance of Instance. My Minizinc instance when written on the disk ...
jplauri
- Opened 16 days ago
- #199
Consider the following toy example:
import asyncio
from minizinc import Instance, Model, Solver, Status
class ToySolver:
def __init__(self, model_str: str):
self.model = Model()
...
- 1
- Opened on Jan 26
- #194
When instance.solve is called with intermediate_solutions = False, minizinc is called with --intermediate-solutions.
informarte
- 3
- Opened on Jan 18
- #193
The fix that had I submitted for issue #171 to send signal.CTRL_C_EVENT in lieu of proc.terminate() is not working.
MiniZinc is running in a separate console window, and there is an undocumented limitation ...
aklietz
- 2
- Opened on Jan 14
- #191
The --solver option of minizinc supports solver versions (e.g. --solver my-solver@1.0) by considering the version
information provided by the solver definitions. Solver.lookup, however, ignores version ...
bug
- 1
- Opened on Dec 11, 2024
- #187
Just installed both minizinc module for python 3.12 and MiniZincIDE-2.8.7-bundled-setup-win64.exe and while chuffed
works, gecode doesn t appear to be available.
Any tips on how to get gecode going?
...
DavidPratten
- 5
- Opened on Oct 13, 2024
- #174
When a solver instance is cancelled due to a timeout, control-C, SIGTERM, etc., the Python driver cancels the solver
instance by calling proc.terminate(). On Linux, it sends SIGTERM to the child process, ...
- 2
- Opened on Oct 8, 2024
- #171
Concretely, i ve wanted to run minizinc tests with the solvers that actually got built into minizinc, not the
executables. And that is surprisingly painful to do, apparently.
My first idea was to use ...
LebedevRI
- 7
- Opened on Aug 24, 2024
- #170
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 MZNJSONEncoder to support that ...
enhancement
raphaelboudreault
- 4
- Opened on Jan 12, 2024
- #126
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip!
Restrict your search to the title by using the in:title qualifier.