Skip to content

issues Search Results · repo:MiniZinc/minizinc.github.io language:JavaScript

Filter by

28 results
 (57 ms)

28 results

inMiniZinc/minizinc.github.io (press backspace or delete to remove)

It lists solvers as included that aren t required by cmake. A number of solvers are included out of the box: [Gecode](https://www.gecode.org/) [Chuffed](https://github.com/chuffed/chuffed) ...
  • yurivict
  • 1
  • Opened 
    on May 26, 2024
  • #75

Dear MiniZinc team, Thank you for your project. 1) On the global challenges webpage: https://www.minizinc.org/challenge/globals/ The link to the previous challenges miss a slash ( / ), e.g. if you ...
  • ybarsami
  • 1
  • Opened 
    on May 4, 2024
  • #74

Contrary to https://www.minizinc.org/software.html current releases do not run on MacOS 10.12. Installation doc/release notes should reflect actual requirements. (I had to go back to 2.5.5 to find a compatible ...
  • ridgeworks
  • 1
  • Opened 
    on Jun 28, 2023
  • #70

In Listing 2.6.4. I guess line 21 should be = [ sum(i in 1..n)(i*(fix(y[i]) = j)) | j in 1..n ]; instead of = [ sum(i in 1..n)(i*(fix(y[j]) = i)) | j in 1..n ];
  • sivik0104
  • Opened 
    on Jan 13, 2023
  • #57

The date in the left margin says 2021 but should be 2022. https://github.com/MiniZinc/minizinc.github.io/blob/59479522da7b9a081de4da3b98c5b001b7cf162d/index.html#L75
  • PerMildner
  • 1
  • Opened 
    on Sep 27, 2022
  • #50

The link to MinisatID is not working.
  • matsc-at-sics-se
  • Opened 
    on Sep 2, 2022
  • #49

The link on https://www.minizinc.org/software.html is obsolete. The current link to SICStus Prolog is https://sicstus.sics.se/
  • PerMildner
  • Opened 
    on May 31, 2021
  • #32

I think the actual material of https://www.minizinc.org/doc-latest/en/lib-annotations.html fell off, or where did it move to?
  • Pierre-Flener
  • Opened 
    on Oct 18, 2020
  • #26

Not a huge deal as it could be created on the students box manually. Thanks.
  • cswor
  • Opened 
    on Aug 26, 2020
  • #24
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue search results · GitHub