Commits

Commit history

1. Commits on Aug 31, 2026

   • Simplify workflow for version consistency check

     cyderize

     committed
     7fb7a08View commit details

     Copy full SHA for 7fb7a08

     Browse repository at this point

   • Bump FindMUS version to 2.10.2

     

     github-actions[bot]

     authored and

     cyderize

     committed
     89275f0View commit details

     Copy full SHA for 89275f0

     Browse repository at this point

   • Automatically keep version in sync with MiniZinc

     cyderize

     committed
     919354dView commit details

     Copy full SHA for 919354d

     Browse repository at this point

   • Sync version number with minizinc

     cyderize

     committed
     5ee1c89View commit details

     Copy full SHA for 5ee1c89

     Browse repository at this point
2. Commits on Aug 20, 2026

   • Change CI to GitHub Actions

     Dekker1

     committed
     5dbe50eView commit details

     Copy full SHA for 5dbe50e

     Browse repository at this point
3. Commits on Sep 7, 2025

   • Fix CI download script timeout

     cyderize

     committed
     3b2e534View commit details

     Copy full SHA for 3b2e534

     Browse repository at this point
4. Commits on Jun 12, 2025

   • Retry snippet download

     Show description for d986e4e
     cyderize

     committed
     d986e4eView commit details

     Copy full SHA for d986e4e

     Browse repository at this point

   • Require CMake 3.5.0

     Show description for 51662ba
     cyderize

     committed
     51662baView commit details

     Copy full SHA for 51662ba

     Browse repository at this point
5. Commits on Jun 26, 2024

   • Update suggestion to set larger solver timeout in error message

     Show description for 7a60ac9
     CervEdin

     committed
     7a60ac9View commit details

     Copy full SHA for 7a60ac9

     Browse repository at this point
6. Commits on May 31, 2024

   • Change CI trigger change to include mzn-analyse

     

     Dekker1

     authored and

     cyderize

     committed
     9d1958cView commit details

     Copy full SHA for 9d1958c

     Browse repository at this point
7. Commits on May 6, 2024

   • Catch and print more MiniZinc errors.

     lokdlok

     committed
     a8e4265View commit details

     Copy full SHA for a8e4265

     Browse repository at this point
8. Commits on May 1, 2023

   • Update FindMUS to use the static expression methods

     Dekker1

     committed
     c5ebd04View commit details

     Copy full SHA for c5ebd04

     Browse repository at this point
9. Commits on Oct 26, 2022

   • Fix the location of HiGHS in the CI script

     Dekker1

     committed
     8c9ed93View commit details

     Copy full SHA for 8c9ed93

     Browse repository at this point
10. Commits on Sep 2, 2022

    • FznSubProblem: Catch Minizinc::Error and print it

      lokdlok

      committed
      3ba6c5eView commit details

      Copy full SHA for 3ba6c5e

      Browse repository at this point
11. Commits on Jun 27, 2022

    • gitlab_ci: set location of HiGHS package

      Dekker1

      committed
      234045bView commit details

      Copy full SHA for 234045b

      Browse repository at this point
12. Commits on Mar 23, 2022

    • Build universal binary on macOS

      cyderize

      committed
      5d8f0dfView commit details

      Copy full SHA for 5d8f0df

      Browse repository at this point
13. Commits on Feb 17, 2022

    • Added missing --named-only flag to findmus.msc

      lokdlok

      committed
      8937977View commit details

      Copy full SHA for 8937977

      Browse repository at this point
14. Commits on Jan 20, 2022

    • Move to non-proprietary solver dependency packages

      Dekker1

      committed
      192a068View commit details

      Copy full SHA for 192a068

      Browse repository at this point
15. Commits on Dec 14, 2021

    • Fix cache key name for Windows build

      cyderize

      committed
      4cfb775View commit details

      Copy full SHA for 4cfb775

      Browse repository at this point
16. Commits on Dec 8, 2021

    • Version bump. Now 0.7.0; cmake now generates and installs findmus.msc

      lokdlok

      committed
      8abdc80View commit details

      Copy full SHA for 8abdc80

      Browse repository at this point

    • Updated findmus.msc to use argument descriptions from IDE

      lokdlok

      committed
      60612adView commit details

      Copy full SHA for 60612ad

      Browse repository at this point
17. Commits on Dec 7, 2021

    • Merge branch 'develop' of gitlab.com:minizinc/FindMUS into feature/output_changes

      lokdlok

      committed
      4d4f6ceView commit details

      Copy full SHA for 4d4f6ce

      Browse repository at this point
18. Commits on Dec 1, 2021

    • Small change to progress output

      lokdlok

      committed
      b8828e6View commit details

      Copy full SHA for b8828e6

      Browse repository at this point

    • Fixed newline escaping in raw output (might need to do more here)

      lokdlok

      committed
      69df63cView commit details

      Copy full SHA for 69df63c

      Browse repository at this point

    • Improved json-stream output

      lokdlok

      committed
      f074d88View commit details

      Copy full SHA for f074d88

      Browse repository at this point

    • Use Ninja for Windows build

      cyderize

      committed
      2edd60bView commit details

      Copy full SHA for 2edd60b

      Browse repository at this point
19. Commits on Nov 18, 2021

    • Updated escaping. Fixed some issues with demo

      lokdlok

      committed
      606fb56View commit details

      Copy full SHA for 606fb56

      Browse repository at this point

    • First attempt at adding sections output

      lokdlok

      committed
      bf2e7aaView commit details

      Copy full SHA for bf2e7aa

      Browse repository at this point
20. Commits on Nov 5, 2021

    • Update call to populate_output

      cyderize

      committed
      1ef911cView commit details

      Copy full SHA for 1ef911c

      Browse repository at this point
21. Commits on Oct 21, 2021

    • Fixed --filter-named argument in .msc file

      lokdlok

      committed
      2e10e8dView commit details

      Copy full SHA for 2e10e8d

      Browse repository at this point
22. Commits on Oct 7, 2021

    • Correct the arguments of the parse function from upstream MiniZinc

      Dekker1

      committed
      558e9adView commit details

      Copy full SHA for 558e9ad

      Browse repository at this point
23. Commits on Sep 2, 2021

    • Fix the location of MiniZinc's CMake configuration for linux

      Dekker1

      committed
      4bc710fView commit details

      Copy full SHA for 4bc710f

      Browse repository at this point

    • Update CI Docker image

      Dekker1

      committed
      f687e1bView commit details

      Copy full SHA for f687e1b

      Browse repository at this point
24. Commits on Jul 29, 2021

    • Fix: --solver-timelimit options are not processed by processOptions any more. Now processed separately

      lokdlok

      committed
      6234a70View commit details

      Copy full SHA for 6234a70

      Browse repository at this point
25. Commits on Jun 29, 2021

    • Added Error if findMUS is compiled without -DMZN_SUPPORTS_SHRINK and called with --native-shrink

      lokdlok

      committed
      b07485fView commit details

      Copy full SHA for b07485f

      Browse repository at this point