home.social

#minizinc — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #minizinc, aggregated by home.social.

  1. Jip J. Dekker @[email protected] ·

    #MiniZinc 2.8 has been released. No big new language features, but it does include a lot of improvements to make your life easier:

    - #ORTools is now part of the MiniZinc bundle.
    - #HiGHS now provides intermediate solutions.
    - Experimental support for propagator based meta-search, such as LNS variants.
    - Commutative CSE
    - Support optional version of global_cardinality, increasing, and count globals.

    Find more details and many other improvements in the change log: minizinc.org/doc-2.8.0/en/chan

    #ortools #minizinc #highs