Search results

Assertion in basic example fails

Status: Open.

#202 In MiniZinc/minizinc-python;

· CervEdin opened on Apr 11, 2025

IndexError when finding no solutions while using the --intermediate flag

Status: Open.

#201 In MiniZinc/minizinc-python;

· kristofferNorr opened on Apr 9, 2025

Missing encoding argument for pipe open

Status: Open.

#200 In MiniZinc/minizinc-python;

· aklein3 opened on Mar 21, 2025

Speeding up the creation of Instance from a several megabyte string

Status: Open.

#199 In MiniZinc/minizinc-python;

· jplauri opened on Mar 11, 2025

Solver.lookup ignores solver versions

bugSomething isn't workingSomething isn't working

Status: Open.

#187 In MiniZinc/minizinc-python;

· informarte opened on Dec 11, 2024

Support for Python "infinity" value for MZNJSONEncoder

enhancementNew feature or requestNew feature or request

Status: Open.

#126 In MiniZinc/minizinc-python;

· raphaelboudreault opened on Jan 12, 2024

verbose parameter

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#68 In MiniZinc/minizinc-python;

· hadipourh opened on Nov 10, 2022

keyboard interrupt

enhancementNew feature or requestNew feature or request

Status: Open.

#67 In MiniZinc/minizinc-python;

· hadipourh opened on Nov 10, 2022

Usage of findMUS solver

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In MiniZinc/minizinc-python;

· SantiagoQUINTANA opened on Nov 26, 2020

Usage of IntEnum in array model input

bugSomething isn't workingSomething isn't working

Status: Open.

#2 In MiniZinc/minizinc-python;

· Dekker1 opened on Oct 22, 2020