Index of /log/minizinc-ide/

../
2023-02-18.log                                     18-Feb-2023 00:36                 545
2023-02-28.log                                     28-Feb-2023 22:05                 545
2023-03-25.log                                     25-Mar-2023 14:20                 545