Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / MiniZinc/minizinc-python issues and pull requests

#66 - Fixed incorrect comment

Pull Request - State: closed - Opened by guilhas07 almost 2 years ago - 1 comment

#65 - Stefan bruens fix solver setup

Pull Request - State: closed - Opened by Dekker1 about 2 years ago - 1 comment

#63 - Move chuffed solver lookup to setUpClass method

Pull Request - State: closed - Opened by StefanBruens about 2 years ago - 3 comments

#62 - Output fixes

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

#61 - Add additional message when nested asyncio errors occur

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

#60 - Example not working

Issue - State: closed - Opened by Pinzauti over 2 years ago - 4 comments

#59 - Add executable property to Driver

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

#58 - Remove incomplete API infrastructure to connect to MiniZinc

Pull Request - State: closed - Opened by Dekker1 over 2 years ago - 3 comments

#57 - Fix type hint on solver cache

Pull Request - State: closed - Opened by jmjrawlings over 2 years ago - 1 comment

#56 - ImportError: cannot import name 'Instance' from 'minizinc'

Issue - State: closed - Opened by deluxerootit over 2 years ago - 3 comments

#55 - 'flatTime' statistic returned as float instead of timedelta under MiniZinc >= 2.6.0

Issue - State: closed - Opened by jmjrawlings over 2 years ago - 1 comment
Labels: bug

#54 - free-search being passed on to incompatible solvers

Issue - State: closed - Opened by jmjrawlings over 2 years ago - 1 comment

#51 - JSONDecodeError in parsing solution (or-tools)

Issue - State: closed - Opened by alexeytref over 2 years ago - 3 comments

#50 - Store statistics as strings when incorrectly reported by the solver

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

#49 - message: syntax error, unexpected ';'

Issue - State: closed - Opened by MaxOstrowski over 2 years ago - 6 comments

#48 - How to use parallel sover from Python?

Issue - State: closed - Opened by mhechthz over 2 years ago - 7 comments

#47 - Time format

Issue - State: closed - Opened by dirkvbok over 2 years ago - 1 comment

#46 - timeout

Issue - State: closed - Opened by hadipourh almost 3 years ago - 2 comments

#45 - Ensure all coroutines are cancelled when CLI instance exits solving early

Pull Request - State: closed - Opened by Dekker1 almost 3 years ago - 1 comment

#44 - Add support for Solution checkers without explicit output items

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

#43 - Add support for Solution Checkers using JSON Streams

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

#42 - Using MiniZinc 2.6.0 JSON Streams

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

#41 - Do not raise unnecessary Python errors for missing solver flags

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

#40 - Add lost setuptools_scm dependency

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

#39 - Get MiniZinc Python Ready for 0.5.0

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

#37 - Use Poetry to manage the Python Package

Pull Request - State: closed - Opened by Dekker1 about 3 years ago

#36 - Add explicit ability for Driver objects to report available solvers

Pull Request - State: closed - Opened by Dekker1 about 3 years ago - 1 comment

#35 - Add support for instantiating Models using NumPy types

Pull Request - State: closed - Opened by Dekker1 about 3 years ago

#34 - Disable Flake check that is incompatible with Python 3.6

Pull Request - State: closed - Opened by Dekker1 about 3 years ago

#33 - Handle the incorrect output of "_objective" from grader models

Pull Request - State: closed - Opened by Dekker1 about 3 years ago - 1 comment

#32 - list of installed solvers?

Issue - State: closed - Opened by tias about 3 years ago - 1 comment
Labels: enhancement

#31 - changing the 'solve' item in a Model()

Issue - State: closed - Opened by tias about 3 years ago - 1 comment

#30 - Remove hard timeouts from CLI driver

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#29 - Create default implementation of solve_async

Pull Request - State: closed - Opened by Dekker1 over 3 years ago - 1 comment

#28 - MiniZinc used question，please help！Thanks！

Issue - State: closed - Opened by niuzhi over 3 years ago - 1 comment

#27 - Minizinc console opens at every instance

Issue - State: closed - Opened by guillaumeproulx98 over 3 years ago - 4 comments

#26 - Fix issues found by LGTM

Pull Request - State: closed - Opened by Dekker1 over 3 years ago - 1 comment

#25 - Add __version__ attribute to the MiniZinc Python main module

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#24 - Fix the flags emitted when optimisation_level is set to zero

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#23 - optimisation_level=0 has no effect

Issue - State: closed - Opened by jmjrawlings-azn over 3 years ago - 1 comment

#22 - Fix syntax error in the meta-heuristics example

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#21 - MiniZincSyntaxError on add_string() method

Issue - State: closed - Opened by sk-surya over 3 years ago - 2 comments

#20 - Add inputType field to Solver Type

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#19 - Fixing even more Iro generated Pygments contexts

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#18 - Change main branch name to develop

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#17 - Fix Pygments lexer for MiniZinc

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#16 - Set correct flag for intermediate flags

Pull Request - State: closed - Opened by Dekker1 over 3 years ago

#15 - Support np.array as instance parameter

Issue - State: closed - Opened by ArtyomKaltovich almost 4 years ago - 3 comments
Labels: enhancement

#14 - Create processes in their own console on Windows

Pull Request - State: closed - Opened by cyderize almost 4 years ago

#13 - Usage of findMUS solver

Issue - State: open - Opened by SantiagoQUINTANA almost 4 years ago - 3 comments
Labels: enhancement

#12 - Ensure files are closed before removing them

Pull Request - State: closed - Opened by cyderize almost 4 years ago - 3 comments

#11 - Update stable branch to 0.4.2

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

#10 - Revert anonymous enums to strings

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

#9 - Use SIGTERM for stopping the MiniZinc process early

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

#8 - Change process kill to process terminate

Pull Request - State: closed - Opened by adamgoldfeld almost 4 years ago - 4 comments

#7 - Solution of Array of var enum is List instead of List[List]

Issue - State: closed - Opened by adamgoldfeld almost 4 years ago - 1 comment

#6 - Update version to 0.4.1

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

#5 - Fix the checking of solutions containing MiniZinc defined enums

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

#4 - Add experimental support for verbose output and writing stderr to file

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

#3 - Remove GitLab CI files

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

#2 - Usage of IntEnum in array model input

Issue - State: open - Opened by Dekker1 almost 4 years ago - 1 comment
Labels: bug

#1 - Migration from GitLab to GitHub

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