Ecosyste.ms: Issues

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

GitHub / minizinc/minizincide issues and pull requests

#48 - IDE crashes (Windows)

Issue - State: closed - Opened by addyvieider over 6 years ago - 4 comments

#48 - IDE crashes (Windows)

Issue - State: closed - Opened by addyvieider over 6 years ago - 4 comments

#47 - [Solved] MinizincIDE in Linux

Issue - State: closed - Opened by lteu almost 7 years ago

#47 - [Solved] MinizincIDE in Linux

Issue - State: closed - Opened by lteu almost 7 years ago

#46 - Overflow G12fd on Windows but not on Linux

Issue - State: closed - Opened by broesdecat almost 7 years ago - 2 comments

#46 - Overflow G12fd on Windows but not on Linux

Issue - State: closed - Opened by broesdecat almost 7 years ago - 2 comments

#45 - Gurobi Solver: dll is missing in Windows

Issue - State: closed - Opened by zarmeen92 almost 7 years ago - 2 comments

#45 - Gurobi Solver: dll is missing in Windows

Issue - State: closed - Opened by zarmeen92 almost 7 years ago - 2 comments

#43 - chuffed solver in parallel

Issue - State: closed - Opened by gpiotti almost 7 years ago - 3 comments

#43 - chuffed solver in parallel

Issue - State: closed - Opened by gpiotti almost 7 years ago - 3 comments

#42 - Crash in simple optimization model

Issue - State: closed - Opened by 95A31 about 7 years ago - 4 comments

#42 - Crash in simple optimization model

Issue - State: closed - Opened by 95A31 about 7 years ago - 4 comments

#41 - Unexpected behaviour on "Add data file to project..."

Issue - State: closed - Opened by Dekker1 about 7 years ago

#41 - Unexpected behaviour on "Add data file to project..."

Issue - State: closed - Opened by Dekker1 about 7 years ago

#40 - QSslSocket crash

Issue - State: closed - Opened by GabVenturato about 7 years ago

#39 - how to get input from external file on MiniZinc IDE?

Issue - State: closed - Opened by ashrafulDUET about 7 years ago - 2 comments

#39 - how to get input from external file on MiniZinc IDE?

Issue - State: closed - Opened by ashrafulDUET about 7 years ago - 2 comments

#38 - Flattening Error

Issue - State: closed - Opened by Bluetaurean over 7 years ago - 3 comments

#38 - Flattening Error

Issue - State: closed - Opened by Bluetaurean over 7 years ago - 3 comments

#37 - Out Of Memory

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

#37 - Out Of Memory

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

#36 - fzn-gecode is waiting for something

Issue - State: closed - Opened by a1880 over 7 years ago

#36 - fzn-gecode is waiting for something

Issue - State: closed - Opened by a1880 over 7 years ago

#35 - Regression in string output format

Issue - State: closed - Opened by Zero3 over 7 years ago - 6 comments

#35 - Regression in string output format

Issue - State: closed - Opened by Zero3 over 7 years ago - 6 comments

#34 - `mzn2dzn': error code 1

Issue - State: closed - Opened by Zero3 over 7 years ago - 5 comments

#34 - `mzn2dzn': error code 1

Issue - State: closed - Opened by Zero3 over 7 years ago - 5 comments

#33 - Sometimes no solver output

Issue - State: closed - Opened by chrismears over 7 years ago - 1 comment

#33 - Sometimes no solver output

Issue - State: closed - Opened by chrismears over 7 years ago - 1 comment

#32 - Ctrl-F for Find

Issue - State: closed - Opened by jdevoo over 7 years ago

#32 - Ctrl-F for Find

Issue - State: closed - Opened by jdevoo over 7 years ago

#31 - Solving never stop in v2.1.3 macOS

Issue - State: closed - Opened by raphaelchenouard over 7 years ago - 1 comment

#31 - Solving never stop in v2.1.3 macOS

Issue - State: closed - Opened by raphaelchenouard over 7 years ago - 1 comment

#30 - Autosave on Run

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

#30 - Autosave on Run

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

#29 - using COIN-OR the "Produce optimized FlatZinc" option, makes solution "FEASIBLE"

Issue - State: closed - Opened by gpiotti almost 8 years ago - 1 comment

#29 - using COIN-OR the "Produce optimized FlatZinc" option, makes solution "FEASIBLE"

Issue - State: closed - Opened by gpiotti almost 8 years ago - 1 comment

#28 - declaring an enum with integers, closes program

Issue - State: closed - Opened by gpiotti almost 8 years ago - 1 comment

#28 - declaring an enum with integers, closes program

Issue - State: closed - Opened by gpiotti almost 8 years ago - 1 comment

#27 - MiniZinc IDE: internal error: could not parse solution - Gecode

Issue - State: closed - Opened by smile-on almost 8 years ago

#27 - MiniZinc IDE: internal error: could not parse solution - Gecode

Issue - State: closed - Opened by smile-on almost 8 years ago

#26 - User-defined solver

Issue - State: closed - Opened by a1880 almost 8 years ago - 2 comments

#26 - User-defined solver

Issue - State: closed - Opened by a1880 almost 8 years ago - 2 comments

#25 - Request to improve appearance in Configuration tab

Issue - State: closed - Opened by smile-on almost 8 years ago - 2 comments

#25 - Request to improve appearance in Configuration tab

Issue - State: closed - Opened by smile-on almost 8 years ago - 2 comments

#24 - MiniZinc IDE: internal error: not sm.get():

Issue - State: closed - Opened by smile-on almost 8 years ago - 4 comments

#24 - MiniZinc IDE: internal error: not sm.get():

Issue - State: closed - Opened by smile-on almost 8 years ago - 4 comments

#23 - chuffed time out

Issue - State: closed - Opened by markwallacemonash almost 8 years ago - 2 comments

#23 - chuffed time out

Issue - State: closed - Opened by markwallacemonash almost 8 years ago - 2 comments

#22 - Output to file

Issue - State: closed - Opened by markwallacemonash almost 8 years ago

#22 - Output to file

Issue - State: closed - Opened by markwallacemonash almost 8 years ago

#21 - changing thread count for gecode changes optimal solution.

Issue - State: closed - Opened by KennethRamsey almost 8 years ago - 1 comment

#21 - changing thread count for gecode changes optimal solution.

Issue - State: closed - Opened by KennethRamsey almost 8 years ago - 1 comment

#20 - mzn-gecode and mzn-chuffed have their filenames swapped in MiniZincIDE-2.1.0-bundle

Issue - State: closed - Opened by jesrui almost 8 years ago - 2 comments

#20 - mzn-gecode and mzn-chuffed have their filenames swapped in MiniZincIDE-2.1.0-bundle

Issue - State: closed - Opened by jesrui almost 8 years ago - 2 comments

#19 - MiniZincIDE-2.1.0-bundle default binary permissions

Issue - State: closed - Opened by pafnucy almost 8 years ago - 1 comment

#19 - MiniZincIDE-2.1.0-bundle default binary permissions

Issue - State: closed - Opened by pafnucy almost 8 years ago - 1 comment

#18 - MiniZincIDE-2.1.0-bundle-linux-x86_64 missing dependencies

Issue - State: closed - Opened by smile-on almost 8 years ago - 5 comments

#17 - Crash on startup on OS X 10.7.5

Issue - State: closed - Opened by PerMildner almost 8 years ago - 2 comments

#16 - Pull changes for automatic testing of models

Pull Request - State: closed - Opened by guidotack over 8 years ago

#15 - MiniZincIDE package on windows, no mzn-g12mip.bat

Issue - State: closed - Opened by tias over 8 years ago - 1 comment

#14 - feature request: floored division and modulus

Issue - State: closed - Opened by matsc-at-sics-se over 8 years ago - 1 comment

#10 - MiniZinc IDE sometimes stops outputting solutions before reaching the optimal one

Issue - State: closed - Opened by Zero3 over 8 years ago - 8 comments

#9 - Functionality for exporting to FlatZinc

Issue - State: closed - Opened by Zero3 over 8 years ago - 2 comments

#8 - flatzinc crashes for a big MIP problem.

Issue - State: closed - Opened by siritinga almost 9 years ago - 1 comment

#7 - Suggestion: Option for auto-clearing output

Issue - State: closed - Opened by Zero3 almost 9 years ago

#6 - Minizinc Github issues link in help is wrong

Issue - State: closed - Opened by siritinga almost 9 years ago

#5 - Excessive 'do you want to reload' dialog boxes

Issue - State: closed - Opened by kfranc over 9 years ago - 3 comments

#4 - gnome-desktop .desktop file for installing MiniZincIDE on gnome desktop

Issue - State: closed - Opened by Shuliyey over 9 years ago - 6 comments

#3 - G12 flatzinc driver doesn't support threads

Issue - State: closed - Opened by cmears over 9 years ago - 1 comment

#2 - Silent fail of MiniZinc (int overflow)

Issue - State: closed - Opened by scand1sk almost 10 years ago

#1 - Syntax highlighting does not work for escaped quotes

Issue - State: closed - Opened by guidotack almost 10 years ago
Labels: bug