issues
search
jump-dev
/
MiniZinc.jl
A Julia interface to the MiniZinc constraint modeling language
https://www.minizinc.org/
MIT License
17
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add comment to n-queens test
#87
odow
closed
1 week ago
1
Move test/examples into test/runtests.jl
#86
odow
closed
1 week ago
1
Add comment to N-queens test
#85
odow
closed
1 week ago
1
[upstream] wrong number of solutions
#84
blegat
closed
1 week ago
6
Prep for v0.3.12
#83
odow
closed
1 week ago
1
Allow using MiniZincSet from JuMP
#82
blegat
closed
1 week ago
1
Fix running the tests from other locations
#81
blegat
closed
1 week ago
1
How do I query solutions returned?
#80
hdavid16
closed
1 month ago
1
No solver with tag `highs` found
#79
hdavid16
closed
1 month ago
2
Fix writing integer variables with float bounds
#78
odow
closed
1 month ago
2
MiniZinc example in the docs does not work.
#77
mbataillou
closed
1 month ago
1
Consider supporting some more of MiniZinc's Graph sets
#76
LebedevRI
opened
2 months ago
7
Update to MiniZinc_jll@2.8.5
#75
odow
closed
2 months ago
1
Update to Chuffed_jll@0.13.2
#74
odow
closed
2 months ago
1
Prep for v0.3.10
#73
odow
closed
2 months ago
1
Fix unary +, -, *
#72
odow
closed
2 months ago
1
Write model with basic boolean constraints
#71
remi-garcia
closed
2 months ago
3
Document MOI.SolutionLimit
#70
odow
closed
2 months ago
1
Fix assumption about variable ordering in tests
#69
odow
closed
3 months ago
1
Fix writing integer variables with float bounds
#68
odow
closed
3 months ago
1
`InexactError: trunc(Int64, -Inf)` in `_variable_info`
#67
LebedevRI
closed
3 months ago
4
Update versions in GitHub actions
#66
odow
closed
5 months ago
1
Fix duplicated test names
#65
odow
closed
7 months ago
0
Remove deprecated do-block usage
#64
odow
closed
7 months ago
0
Prep for v0.3.8
#63
odow
closed
7 months ago
1
Fix TerminationStatus when SolutionLimit is 1
#62
odow
closed
7 months ago
2
When SolutionLimit is 1 but there exist multiple solutions, status should be SOLUTION_LIMIT, not OPTIMAL
#61
chriscoey
closed
7 months ago
0
Prep for v0.3.7
#60
odow
closed
7 months ago
1
Add support for MOI.EqualTo{Bool}
#59
odow
closed
7 months ago
2
Support EqualTo{Bool}
#58
odow
closed
7 months ago
0
CP-SAT solver
#57
1991jhf
closed
9 months ago
2
Prep for v0.3.6
#56
odow
closed
10 months ago
1
Trap non-zero process return values in _run_minizinc
#55
odow
closed
10 months ago
1
Handling numerical Issues in model
#54
zengjian-hu-rai
closed
10 months ago
11
Prep for v0.3.5
#53
odow
closed
10 months ago
1
Upgrade to MOI 1.21.0 and switch to SolutionLimit
#52
zengjian-hu-rai
closed
10 months ago
2
Update reference to HiGHS in README.md
#51
pierre-haessig
closed
10 months ago
1
`libminizinc_jll`?
#50
pedromxavier
opened
11 months ago
1
Update to MiniZinc_jll@2.7.6
#49
odow
closed
11 months ago
1
Tests fail with `pipeline_error`
#48
bachdavi
closed
11 months ago
11
Prep for v0.3.3
#47
odow
closed
11 months ago
1
return MOI.TIME_LIMIT when the solver times out
#46
zengjian-hu-rai
closed
11 months ago
5
Use new MOI SolutionLimit attribute
#45
chriscoey
closed
10 months ago
0
fix glitch in test
#44
zengjian-hu-rai
closed
11 months ago
1
Implement solve_all for MiniZinc
#43
zengjian-hu-rai
closed
12 months ago
5
Prep for v0.3.1
#42
odow
closed
12 months ago
1
Add support for MOI.VersionNumber
#41
odow
closed
12 months ago
3
Support getting SolverVersion
#40
chriscoey
closed
12 months ago
6
Add support for MOI.TimeLimitSec and MOI.SolveTimeSec
#39
odow
closed
12 months ago
1
Support setting time limit, and getting solve time
#38
chriscoey
closed
12 months ago
2
Next