MiniZinc/minizinc-python

Issues

• Running into: RuntimeError: asyncio.run() cannot be called from a running event loop

  #38 opened 3 years ago by galleon
  3

• gecode solver doesn't appear to work out of the box for MiniZinc 2.8.7 on Windows x64

  #174 opened a month ago by DavidPratten
  5

• Usage of findMUS solver

  #13 opened 4 years ago by SantiagoQUINTANA
  4

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

  #170 opened 3 months ago by LebedevRI
  7

• On Windows, need to terminate the minizinc subprocess with CTRL_C_EVENT

  #171 opened 3 months ago by aklein3
  2

• Support for Python "infinity" value for MZNJSONEncoder

  #126 opened a year ago by raphaelboudreault
  4

• Asyncronous environment calling, Anaconda.

  #73 opened 2 years ago by SJMC29
  3

• Obtain a reference to a python instantiation of the underlying solver

  #103 opened a year ago by marcovc
  2

• timeout parameter receives timedelta but still not working

  #83 opened a year ago by AlvielD
  5

• '--intermediate-solutions' command line argument

  #78 opened 2 years ago by virajparimi
  1

• Need information for output (json)

  #77 opened 2 years ago by borisalmonacid
  4

• Driver is None

  #72 opened 2 years ago by Greater-Gold
  4

• keyboard interrupt

  #67 opened 2 years ago by hadipourh
  1

• verbose parameter

  #68 opened 2 years ago by hadipourh
  1

• Example not working

  #60 opened 3 years ago by Pinzauti
  4

• ImportError: cannot import name 'Instance' from 'minizinc'

  #56 opened 3 years ago by deluxerootit
  3

• 'flatTime' statistic returned as float instead of timedelta under MiniZinc >= 2.6.0

  #55 opened 3 years ago by jmjrawlings
  1

• free-search being passed on to incompatible solvers

  #54 opened 3 years ago by jmjrawlings
  1

• Example not working (AttributeError: partially initialized module 'minizinc' has no attribute 'Model')

  #52 opened 3 years ago by m-ober
  1

• JSONDecodeError in parsing solution (or-tools)

  #51 opened 3 years ago by alexeytref
  3

• Time format

  #47 opened 3 years ago by dirkvbok
  1

• message: syntax error, unexpected ';'

  #49 opened 3 years ago by MaxOstrowski
  6

• How to use parallel sover from Python?

  #48 opened 3 years ago by mhechthz
  7

• timeout

  #46 opened 3 years ago by hadipourh
  2

• list of installed solvers?

  #32 opened 3 years ago by tias
  1

• Support np.array as instance parameter

  #15 opened 3 years ago by artsiomkaltovich
  3

• changing the 'solve' item in a Model()

  #31 opened 3 years ago by tias
  1

• Minizinc console opens at every instance

  #27 opened 4 years ago by guillaumeproulx98
  4

• MiniZinc used question，please help！Thanks！

  #28 opened 4 years ago by niuzhi
  1

• optimisation_level=0 has no effect

  #23 opened 4 years ago by jmjrawlings-azn
  1

• MiniZincSyntaxError on add_string() method

  #21 opened 4 years ago by sk-surya
  2

• Solution of Array of var enum is List instead of List[List]

  #7 opened 4 years ago by adamgoldfeld
  1

• Usage of IntEnum in array model input

  #2 opened 4 years ago by Dekker1
  1