Ecosyste.ms: Issues

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

GitHub / jump-dev/MiniZinc.jl issues and pull requests

#88 - Error using MiniZinc.jl on WSL2

Issue - State: closed - Opened by svaniksharma 7 days ago - 4 comments

#87 - Add comment to n-queens test

Pull Request - State: closed - Opened by odow 25 days ago - 1 comment

#86 - Move test/examples into test/runtests.jl

Pull Request - State: closed - Opened by odow 25 days ago - 1 comment

#85 - Add comment to N-queens test

Pull Request - State: closed - Opened by odow 25 days ago - 1 comment

#84 - [upstream] wrong number of solutions

Issue - State: closed - Opened by blegat 27 days ago - 6 comments

#83 - Prep for v0.3.12

Pull Request - State: closed - Opened by odow 28 days ago - 1 comment

#82 - Allow using MiniZincSet from JuMP

Pull Request - State: closed - Opened by blegat 29 days ago - 1 comment

#81 - Fix running the tests from other locations

Pull Request - State: closed - Opened by blegat 29 days ago - 1 comment

#80 - How do I query solutions returned?

Issue - State: closed - Opened by hdavid16 2 months ago - 1 comment

#79 - No solver with tag `highs` found

Issue - State: closed - Opened by hdavid16 2 months ago - 2 comments

#78 - Fix writing integer variables with float bounds

Pull Request - State: closed - Opened by odow 2 months ago - 2 comments

#77 - MiniZinc example in the docs does not work.

Issue - State: closed - Opened by mbataillou 2 months ago - 1 comment

#76 - Consider supporting some more of MiniZinc's Graph sets

Issue - State: open - Opened by LebedevRI 3 months ago - 7 comments

#75 - Update to [email protected]

Pull Request - State: closed - Opened by odow 3 months ago - 1 comment

#74 - Update to [email protected]

Pull Request - State: closed - Opened by odow 3 months ago - 1 comment

#73 - Prep for v0.3.10

Pull Request - State: closed - Opened by odow 3 months ago - 1 comment

#72 - Fix unary +, -, *

Pull Request - State: closed - Opened by odow 3 months ago - 1 comment

#71 - Write model with basic boolean constraints

Issue - State: closed - Opened by remi-garcia 3 months ago - 3 comments

#70 - Document MOI.SolutionLimit

Pull Request - State: closed - Opened by odow 3 months ago - 1 comment

#69 - Fix assumption about variable ordering in tests

Pull Request - State: closed - Opened by odow 4 months ago - 1 comment

#68 - Fix writing integer variables with float bounds

Pull Request - State: closed - Opened by odow 4 months ago - 1 comment

#67 - `InexactError: trunc(Int64, -Inf)` in `_variable_info`

Issue - State: closed - Opened by LebedevRI 4 months ago - 4 comments

#66 - Update versions in GitHub actions

Pull Request - State: closed - Opened by odow 6 months ago - 1 comment

#65 - Fix duplicated test names

Pull Request - State: closed - Opened by odow 8 months ago

#64 - Remove deprecated do-block usage

Pull Request - State: closed - Opened by odow 8 months ago

#63 - Prep for v0.3.8

Pull Request - State: closed - Opened by odow 8 months ago - 1 comment

#62 - Fix TerminationStatus when SolutionLimit is 1

Pull Request - State: closed - Opened by odow 8 months ago - 2 comments

#60 - Prep for v0.3.7

Pull Request - State: closed - Opened by odow 8 months ago - 1 comment

#59 - Add support for MOI.EqualTo{Bool}

Pull Request - State: closed - Opened by odow 8 months ago - 2 comments

#58 - Support EqualTo{Bool}

Issue - State: closed - Opened by odow 8 months ago

#57 - CP-SAT solver

Issue - State: closed - Opened by 1991jhf 11 months ago - 2 comments

#56 - Prep for v0.3.6

Pull Request - State: closed - Opened by odow 11 months ago - 1 comment

#55 - Trap non-zero process return values in _run_minizinc

Pull Request - State: closed - Opened by odow 11 months ago - 1 comment

#54 - Handling numerical Issues in model

Issue - State: closed - Opened by zengjian-hu-rai 11 months ago - 11 comments

#53 - Prep for v0.3.5

Pull Request - State: closed - Opened by odow 11 months ago - 1 comment

#52 - Upgrade to MOI 1.21.0 and switch to SolutionLimit

Pull Request - State: closed - Opened by zengjian-hu-rai 11 months ago - 2 comments

#52 - Upgrade to MOI 1.21.0 and switch to SolutionLimit

Pull Request - State: closed - Opened by zengjian-hu-rai 11 months ago - 2 comments

#51 - Update reference to HiGHS in README.md

Pull Request - State: closed - Opened by pierre-haessig 11 months ago - 1 comment

#51 - Update reference to HiGHS in README.md

Pull Request - State: closed - Opened by pierre-haessig 11 months ago - 1 comment

#50 - `libminizinc_jll`?

Issue - State: open - Opened by pedromxavier 12 months ago - 1 comment

#50 - `libminizinc_jll`?

Issue - State: open - Opened by pedromxavier 12 months ago - 1 comment

#49 - Update to [email protected]

Pull Request - State: closed - Opened by odow 12 months ago - 1 comment

#49 - Update to [email protected]

Pull Request - State: closed - Opened by odow 12 months ago - 1 comment

#48 - Tests fail with `pipeline_error`

Issue - State: closed - Opened by bachdavi 12 months ago - 11 comments

#48 - Tests fail with `pipeline_error`

Issue - State: closed - Opened by bachdavi 12 months ago - 11 comments

#47 - Prep for v0.3.3

Pull Request - State: closed - Opened by odow about 1 year ago - 1 comment

#47 - Prep for v0.3.3

Pull Request - State: closed - Opened by odow about 1 year ago - 1 comment

#46 - return MOI.TIME_LIMIT when the solver times out

Pull Request - State: closed - Opened by zengjian-hu-rai about 1 year ago - 5 comments

#46 - return MOI.TIME_LIMIT when the solver times out

Pull Request - State: closed - Opened by zengjian-hu-rai about 1 year ago - 5 comments

#45 - Use new MOI SolutionLimit attribute

Issue - State: closed - Opened by chriscoey about 1 year ago

#45 - Use new MOI SolutionLimit attribute

Issue - State: closed - Opened by chriscoey about 1 year ago

#44 - fix glitch in test

Pull Request - State: closed - Opened by zengjian-hu-rai about 1 year ago - 1 comment

#44 - fix glitch in test

Pull Request - State: closed - Opened by zengjian-hu-rai about 1 year ago - 1 comment

#43 - Implement solve_all for MiniZinc

Pull Request - State: closed - Opened by zengjian-hu-rai about 1 year ago - 5 comments

#43 - Implement solve_all for MiniZinc

Pull Request - State: closed - Opened by zengjian-hu-rai about 1 year ago - 5 comments

#42 - Prep for v0.3.1

Pull Request - State: closed - Opened by odow about 1 year ago - 1 comment

#42 - Prep for v0.3.1

Pull Request - State: closed - Opened by odow about 1 year ago - 1 comment

#41 - Add support for MOI.VersionNumber

Pull Request - State: closed - Opened by odow about 1 year ago - 3 comments

#41 - Add support for MOI.VersionNumber

Pull Request - State: closed - Opened by odow about 1 year ago - 3 comments

#40 - Support getting SolverVersion

Issue - State: closed - Opened by chriscoey about 1 year ago - 6 comments

#40 - Support getting SolverVersion

Issue - State: closed - Opened by chriscoey about 1 year ago - 6 comments

#39 - Add support for MOI.TimeLimitSec and MOI.SolveTimeSec

Pull Request - State: closed - Opened by odow about 1 year ago - 1 comment

#39 - Add support for MOI.TimeLimitSec and MOI.SolveTimeSec

Pull Request - State: closed - Opened by odow about 1 year ago - 1 comment

#38 - Support setting time limit, and getting solve time

Issue - State: closed - Opened by chriscoey about 1 year ago - 2 comments

#38 - Support setting time limit, and getting solve time

Issue - State: closed - Opened by chriscoey about 1 year ago - 2 comments

#37 - Prep for v0.3.0

Pull Request - State: closed - Opened by odow about 1 year ago - 3 comments

#37 - Prep for v0.3.0

Pull Request - State: closed - Opened by odow about 1 year ago - 3 comments

#36 - Add support for Windows

Pull Request - State: open - Opened by odow over 1 year ago - 1 comment

#36 - Add support for Windows

Pull Request - State: open - Opened by odow over 1 year ago - 1 comment

#35 - Support chuffed as a string

Pull Request - State: closed - Opened by odow over 1 year ago - 2 comments

#35 - Support chuffed as a string

Pull Request - State: closed - Opened by odow over 1 year ago - 2 comments

#34 - Test with HiGHS

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#34 - Test with HiGHS

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#33 - Update to v2.7.4

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#33 - Update to v2.7.4

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#32 - Add support for MOI.RawStatusString

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#32 - Add support for MOI.RawStatusString

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#31 - Add support for MOI.ObjectiveValue

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#31 - Add support for MOI.ObjectiveValue

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#30 - Try with generic JuMP

Issue - State: closed - Opened by odow over 1 year ago - 2 comments

#30 - Try with generic JuMP

Issue - State: closed - Opened by odow over 1 year ago - 2 comments

#29 - Support ObjectiveValue

Issue - State: closed - Opened by odow over 1 year ago

#29 - Support ObjectiveValue

Issue - State: closed - Opened by odow over 1 year ago

#28 - Add support for HiGHS

Issue - State: closed - Opened by odow over 1 year ago - 2 comments

#28 - Add support for HiGHS

Issue - State: closed - Opened by odow over 1 year ago - 2 comments

#27 - Update README

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#27 - Update README

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#26 - Add support for MOI.INFEASIBLE TerminationStatus

Pull Request - State: closed - Opened by chriscoey over 1 year ago - 6 comments

#26 - Add support for MOI.INFEASIBLE TerminationStatus

Pull Request - State: closed - Opened by chriscoey over 1 year ago - 6 comments

#25 - Remove NLP block support, add ScalarNonlinearFunction support

Pull Request - State: closed - Opened by chriscoey over 1 year ago - 17 comments

#25 - Remove NLP block support, add ScalarNonlinearFunction support

Pull Request - State: closed - Opened by chriscoey over 1 year ago - 17 comments

#24 - Minor reorganization/cleanup in write.jl

Pull Request - State: closed - Opened by chriscoey over 1 year ago - 4 comments

#24 - Minor reorganization/cleanup in write.jl

Pull Request - State: closed - Opened by chriscoey over 1 year ago - 4 comments

#23 - [WIP] support ScalarNonlinearFunction

Pull Request - State: closed - Opened by chriscoey over 1 year ago - 1 comment

#23 - [WIP] support ScalarNonlinearFunction

Pull Request - State: closed - Opened by chriscoey over 1 year ago - 1 comment

#22 - Add more support for logical operators

Pull Request - State: closed - Opened by odow over 1 year ago - 4 comments

#22 - Add more support for logical operators

Pull Request - State: closed - Opened by odow over 1 year ago - 4 comments

#21 - Support nonlinear constraints with Boolean operators

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment

#21 - Support nonlinear constraints with Boolean operators

Pull Request - State: closed - Opened by odow over 1 year ago - 1 comment