Created
March 17, 2021 15:42
-
-
Save r-rmcgibbo/24ff311442aaeed1287b3ca9b8e06b39 to your computer and use it in GitHub Desktop.
system: aarch64-linux | build_time: 2 minutes | https://github.com/NixOS/nixpkgs/pull/116638
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @nix { "action": "setPhase", "phase": "unpackPhase" } | |
| unpacking sources | |
| unpacking source archive /nix/store/79bmcjvblha3n5am4nc43wq4y9hmcgvp-source | |
| source root is source | |
| @nix { "action": "setPhase", "phase": "patchPhase" } | |
| patching sources | |
| @nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" } | |
| updateAutotoolsGnuConfigScriptsPhase | |
| @nix { "action": "setPhase", "phase": "configurePhase" } | |
| configuring | |
| fixing cmake files... | |
| cmake flags: -DCMAKE_FIND_USE_SYSTEM_PACKAGE_REGISTRY=OFF -DCMAKE_FIND_USE_PACKAGE_REGISTRY=OFF -DCMAKE_EXPORT_NO_PACKAGE_REGISTRY=ON -DCMAKE_BUILD_TYPE=Release -DCMAKE_SKIP_BUILD_RPATH=ON -DBUILD_TESTING=OFF -DCMAKE_INSTALL_LOCALEDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/locale -DCMAKE_INSTALL_LIBEXECDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/libexec -DCMAKE_INSTALL_LIBDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/lib -DCMAKE_INSTALL_DOCDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/doc/libminizinc -DCMAKE_INSTALL_INFODIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/info -DCMAKE_INSTALL_MANDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/man -DCMAKE_INSTALL_OLDINCLUDEDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include -DCMAKE_INSTALL_INCLUDEDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include -DCMAKE_INSTALL_SBINDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/sbin -DCMAKE_INSTALL_BINDIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/bin -DCMAKE_INSTALL_NAME_DIR=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/lib -DCMAKE_POLICY_DEFAULT_CMP0025=NEW -DCMAKE_OSX_SYSROOT= -DCMAKE_OSX_ARCHITECTURES=x86_64 -DCMAKE_FIND_FRAMEWORK=LAST -DCMAKE_STRIP=/nix/store/f73f3xbwv4zafyms2gi3djfgb9h3791b-binutils-2.35.1/bin/strip -DCMAKE_RANLIB=/nix/store/f73f3xbwv4zafyms2gi3djfgb9h3791b-binutils-2.35.1/bin/ranlib -DCMAKE_AR=/nix/store/f73f3xbwv4zafyms2gi3djfgb9h3791b-binutils-2.35.1/bin/ar -DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++ -DCMAKE_INSTALL_PREFIX=/nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4 | |
| -- The CXX compiler identification is GNU 9.3.0 | |
| -- The C compiler identification is GNU 9.3.0 | |
| -- Detecting CXX compiler ABI info | |
| -- Detecting CXX compiler ABI info - done | |
| -- Check for working CXX compiler: /nix/store/qpm5i2647q95clkr96f47q5j57ng7h62-gcc-wrapper-9.3.0/bin/g++ - skipped | |
| -- Detecting CXX compile features | |
| -- Detecting CXX compile features - done | |
| -- Detecting C compiler ABI info | |
| -- Detecting C compiler ABI info - done | |
| -- Check for working C compiler: /nix/store/qpm5i2647q95clkr96f47q5j57ng7h62-gcc-wrapper-9.3.0/bin/gcc - skipped | |
| -- Detecting C compile features | |
| -- Detecting C compile features - done | |
| -- Looking for include file dlfcn.h | |
| -- Looking for include file dlfcn.h - found | |
| -- Looking for include file Windows.h | |
| -- Looking for include file Windows.h - not found | |
| -- Could NOT find CPlex, use CPlex_ROOT to hint its location (missing: CPLEX_INCLUDE) | |
| -- Could NOT find Geas, use Geas_ROOT to hint its location (missing: GEAS_INCLUDE GEAS_LIBRARY) | |
| -- Could NOT find Gecode, use Gecode_ROOT to hint its location (missing: GECODE_INCLUDE GECODE_LIBRARY Driver Float Int Kernel Minimodel Search Set Support) (Required is at least version "6.0") | |
| CMake Warning (dev) at cmake/modules/FindGurobi.cmake:9 (option): | |
| Policy CMP0077 is not set: option() honors normal variables. Run "cmake | |
| --help-policy CMP0077" for policy details. Use the cmake_policy command to | |
| set the policy and suppress this warning. | |
| For compatibility with older versions of CMake, option is clearing the | |
| normal variable 'GUROBI_PLUGIN'. | |
| Call Stack (most recent call first): | |
| CMakeLists.txt:48 (find_package) | |
| This warning is for project developers. Use -Wno-dev to suppress it. | |
| -- Could NOT find Gurobi, use Gurobi_ROOT to hint its location (missing: GUROBI_INCLUDE) | |
| -- Could NOT find ZLIB (missing: ZLIB_LIBRARY ZLIB_INCLUDE_DIR) | |
| -- OsiCBC: Missing dependency `Zlib` | |
| -- Could NOT find OsiCBC, use OsiCBC_ROOT to hint its location (missing: OSICBC_INCLUDE OSICBC_LIBRARY) | |
| -- Could NOT find SCIP, use SCIP_ROOT to hint its location (missing: SCIP_INCLUDE) | |
| -- Could NOT find Xpress, use Xpress_ROOT to hint its location (missing: XPRESS_INCLUDE) | |
| -- Looking for pthread.h | |
| -- Looking for pthread.h - found | |
| -- Performing Test CMAKE_HAVE_LIBC_PTHREAD | |
| -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed | |
| -- Looking for pthread_create in pthreads | |
| -- Looking for pthread_create in pthreads - not found | |
| -- Looking for pthread_create in pthread | |
| -- Looking for pthread_create in pthread - found | |
| -- Found Threads: TRUE | |
| -- Found BISON: /nix/store/pym8wpicwyv4y783nqjckagsv64k6cwz-bison-3.7.5/bin/bison (found suitable version "3.7.5", minimum required is "3.4") | |
| -- Found FLEX: /nix/store/53xddvmm05y1y7hdhn4yccs1cq9rj3g5-flex-2.6.4/bin/flex (found suitable version "2.6.4", minimum required is "2.5") | |
| ----- MiniZinc build configuration ---- | |
| MiniZinc version: 2.5.4 | |
| Enabled drivers: | |
| --------------------------------------- | |
| -- Configuring done | |
| -- Generating done | |
| CMake Warning: | |
| Manually-specified variables were not used by the project: | |
| BUILD_TESTING | |
| CMAKE_POLICY_DEFAULT_CMP0025 | |
| -- Build files have been written to: /build/source/build | |
| cmake: enabled parallel building | |
| @nix { "action": "setPhase", "phase": "buildPhase" } | |
| building | |
| build flags: -j2 -l2 SHELL=/nix/store/j1wvpskk5wkp5ji42in212csp8095k7k-bash-4.4-p23/bin/bash | |
| [ 1%] [BISON][MZNParser] Building parser with bison 3.7.5 | |
| [ 2%] [FLEX][MZNLexer] Building scanner with flex 2.6.4 | |
| Scanning dependencies of target minizinc_parser | |
| [ 4%] Building CXX object CMakeFiles/minizinc_parser.dir/parser.tab.cpp.o | |
| [ 5%] Building CXX object CMakeFiles/minizinc_parser.dir/lexer.yy.cpp.o | |
| [ 5%] Built target minizinc_parser | |
| Scanning dependencies of target minizinc_fzn | |
| Scanning dependencies of target minizinc_nl | |
| [ 7%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverfactory.cpp.o | |
| [ 8%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_components.cpp.o | |
| [ 9%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/fzn/fzn_solverinstance.cpp.o | |
| [ 11%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_file.cpp.o | |
| In file included from /build/source/solvers/fzn/fzn_solverinstance.cpp:21: | |
| /build/source/include/minizinc/process.hh: In member function 'int MiniZinc::Process<S2O>::run() [with S2O = MiniZinc::Solns2Out]': | |
| /build/source/include/minizinc/process.hh:305:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 305 | pipe(pipes[0]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh:306:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 306 | pipe(pipes[1]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh:307:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 307 | pipe(pipes[2]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh: In member function 'int MiniZinc::Process<S2O>::run() [with S2O = MiniZinc::Solns2Log]': | |
| /build/source/include/minizinc/process.hh:305:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 305 | pipe(pipes[0]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh:306:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 306 | pipe(pipes[1]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh:307:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 307 | pipe(pipes[2]); | |
| | ~~~~^~~~~~~~~~ | |
| [ 12%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverfactory.cpp.o | |
| [ 14%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solreader.cpp.o | |
| [ 15%] Building CXX object CMakeFiles/minizinc_fzn.dir/solvers/mzn/mzn_solverinstance.cpp.o | |
| In file included from /build/source/solvers/mzn/mzn_solverinstance.cpp:16: | |
| /build/source/include/minizinc/process.hh: In member function 'int MiniZinc::Process<S2O>::run() [with S2O = MiniZinc::Solns2Log]': | |
| /build/source/include/minizinc/process.hh:305:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 305 | pipe(pipes[0]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh:306:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 306 | pipe(pipes[1]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh:307:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 307 | pipe(pipes[2]); | |
| | ~~~~^~~~~~~~~~ | |
| [ 16%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverfactory.cpp.o | |
| [ 16%] Built target minizinc_fzn | |
| Scanning dependencies of target minizinc_mip | |
| [ 18%] Building CXX object CMakeFiles/minizinc_mip.dir/lib/algorithms/min_cut.cpp.o | |
| [ 19%] Building CXX object CMakeFiles/minizinc_mip.dir/lib/utils_savestream.cpp.o | |
| [ 21%] Building CXX object CMakeFiles/minizinc_mip.dir/solvers/MIP/MIP_solverinstance.cpp.o | |
| [ 22%] Building CXX object CMakeFiles/minizinc_nl.dir/solvers/nl/nl_solverinstance.cpp.o | |
| In file included from /build/source/solvers/nl/nl_solverinstance.cpp:12: | |
| /build/source/include/minizinc/process.hh: In member function 'int MiniZinc::Process<S2O>::run() [with S2O = MiniZinc::NLSolns2Out]': | |
| /build/source/include/minizinc/process.hh:305:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 305 | pipe(pipes[0]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh:306:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 306 | pipe(pipes[1]); | |
| | ~~~~^~~~~~~~~~ | |
| /build/source/include/minizinc/process.hh:307:9: warning: ignoring return value of 'int pipe(int*)', declared with attribute warn_unused_result [-Wunused-result] | |
| 307 | pipe(pipes[2]); | |
| | ~~~~^~~~~~~~~~ | |
| [ 22%] Built target minizinc_mip | |
| [ 22%] Built target minizinc_nl | |
| Scanning dependencies of target mzn | |
| [ 23%] Building CXX object CMakeFiles/mzn.dir/lib/MIPdomains.cpp.o | |
| [ 25%] Building CXX object CMakeFiles/mzn.dir/lib/ast.cpp.o | |
| [ 26%] Building CXX object CMakeFiles/mzn.dir/lib/astexception.cpp.o | |
| [ 28%] Building CXX object CMakeFiles/mzn.dir/lib/astmap.cpp.o | |
| [ 29%] Building CXX object CMakeFiles/mzn.dir/lib/aststring.cpp.o | |
| [ 30%] Building CXX object CMakeFiles/mzn.dir/lib/astvec.cpp.o | |
| [ 32%] Building CXX object CMakeFiles/mzn.dir/lib/builtins.cpp.o | |
| [ 33%] Building C object CMakeFiles/mzn.dir/lib/cdecode.c.o | |
| [ 35%] Building C object CMakeFiles/mzn.dir/lib/cencode.c.o | |
| [ 36%] Building CXX object CMakeFiles/mzn.dir/lib/chain_compressor.cpp.o | |
| [ 38%] Building CXX object CMakeFiles/mzn.dir/lib/copy.cpp.o | |
| [ 39%] Building CXX object CMakeFiles/mzn.dir/lib/eval_par.cpp.o | |
| [ 40%] Building CXX object CMakeFiles/mzn.dir/lib/file_utils.cpp.o | |
| [ 42%] Building CXX object CMakeFiles/mzn.dir/lib/flatten.cpp.o | |
| [ 43%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flat_exp.cpp.o | |
| [ 45%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_anon.cpp.o | |
| [ 46%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_arrayaccess.cpp.o | |
| [ 47%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_arraylit.cpp.o | |
| [ 49%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_binop.cpp.o | |
| [ 50%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_call.cpp.o | |
| [ 52%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_comp.cpp.o | |
| [ 53%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_id.cpp.o | |
| [ 54%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_ite.cpp.o | |
| [ 56%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_let.cpp.o | |
| [ 57%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_par.cpp.o | |
| [ 59%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_setlit.cpp.o | |
| [ 60%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_unop.cpp.o | |
| [ 61%] Building CXX object CMakeFiles/mzn.dir/lib/flatten/flatten_vardecl.cpp.o | |
| [ 63%] Building CXX object CMakeFiles/mzn.dir/lib/flattener.cpp.o | |
| [ 64%] Building CXX object CMakeFiles/mzn.dir/lib/gc.cpp.o | |
| [ 66%] Building CXX object CMakeFiles/mzn.dir/lib/htmlprinter.cpp.o | |
| [ 67%] Building CXX object CMakeFiles/mzn.dir/lib/json_parser.cpp.o | |
| [ 69%] Building C object CMakeFiles/mzn.dir/lib/thirdparty/miniz.c.o | |
| /build/source/lib/thirdparty/miniz.c:3030:9: note: #pragma message: Using fopen, ftello, fseeko, stat() etc. path for file I/O - this path may not support large files. | |
| 3030 | #pragma message("Using fopen, ftello, fseeko, stat() etc. path for file I/O - this path may not support large files.") | |
| | ^~~~~~~ | |
| [ 70%] Building CXX object CMakeFiles/mzn.dir/lib/model.cpp.o | |
| [ 71%] Building CXX object CMakeFiles/mzn.dir/lib/optimize.cpp.o | |
| [ 73%] Building CXX object CMakeFiles/mzn.dir/lib/optimize_constraints.cpp.o | |
| [ 74%] Building CXX object CMakeFiles/mzn.dir/lib/output.cpp.o | |
| [ 76%] Building CXX object CMakeFiles/mzn.dir/lib/param_config.cpp.o | |
| [ 77%] Building CXX object CMakeFiles/mzn.dir/lib/parser.cpp.o | |
| [ 78%] Building CXX object CMakeFiles/mzn.dir/lib/passes/compile_pass.cpp.o | |
| [ 80%] Building CXX object CMakeFiles/mzn.dir/lib/pathfileprinter.cpp.o | |
| [ 81%] Building CXX object CMakeFiles/mzn.dir/lib/prettyprinter.cpp.o | |
| [ 83%] Building CXX object CMakeFiles/mzn.dir/lib/solns2out.cpp.o | |
| [ 84%] Building CXX object CMakeFiles/mzn.dir/lib/solver.cpp.o | |
| [ 85%] Building CXX object CMakeFiles/mzn.dir/lib/solver_config.cpp.o | |
| [ 87%] Building CXX object CMakeFiles/mzn.dir/lib/solver_instance_base.cpp.o | |
| [ 88%] Building CXX object CMakeFiles/mzn.dir/lib/statistics.cpp.o | |
| [ 90%] Building CXX object CMakeFiles/mzn.dir/lib/type.cpp.o | |
| [ 91%] Building CXX object CMakeFiles/mzn.dir/lib/typecheck.cpp.o | |
| [ 92%] Building CXX object CMakeFiles/mzn.dir/lib/values.cpp.o | |
| [ 94%] Linking CXX static library libmzn.a | |
| [ 94%] Built target mzn | |
| Scanning dependencies of target mzn2doc | |
| Scanning dependencies of target minizinc | |
| [ 95%] Building CXX object CMakeFiles/mzn2doc.dir/mzn2doc.cpp.o | |
| [ 97%] Building CXX object CMakeFiles/minizinc.dir/minizinc.cpp.o | |
| [ 98%] Linking CXX executable minizinc | |
| [ 98%] Built target minizinc | |
| [100%] Linking CXX executable mzn2doc | |
| [100%] Built target mzn2doc | |
| @nix { "action": "setPhase", "phase": "installPhase" } | |
| installing | |
| install flags: SHELL=/nix/store/j1wvpskk5wkp5ji42in212csp8095k7k-bash-4.4-p23/bin/bash install | |
| [ 5%] Built target minizinc_parser | |
| [ 11%] Built target minizinc_fzn | |
| [ 18%] Built target minizinc_nl | |
| [ 22%] Built target minizinc_mip | |
| [ 94%] Built target mzn | |
| [ 97%] Built target mzn2doc | |
| [100%] Built target minizinc | |
| Install the project... | |
| -- Install configuration: "Release" | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/config.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/lib/libmzn.a | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/g12_fd | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/g12_fd/all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/g12_fd/cumulative.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/g12_fd/global_cardinality_low_up.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/Preferences.json | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bin_packing_load.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_chain_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/element_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_roots.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_increasing_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_lesseq_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/knapsack.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_int_set_channel.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_seq_precede_chain_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/exactly_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/sum_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/count_gt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_var_opt_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_increasing_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/count_lt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_opt_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_less_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_diffn_k_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/member_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_distribute.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_leq_par.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_sort_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/maximum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_sort_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bin_packing_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/path.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_lesseq_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_min_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_decreasing_float_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_lt_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/decreasing.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_network_flow_cost_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_exactly_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_cumulative.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/atmost.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/inverse_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_increasing_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_set_member.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_global_cardinality_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/decreasing_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/element_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/cost_mdd.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dwst.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_lesseq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dconnected.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_decreasing_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_global_cardinality.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_alldifferent_except_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_member_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/table_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjunctive_strict_opt_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/geost.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_least_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_writes_seq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_member_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_set_member_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bin_packing_load_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/exactly.mzn.deprecated.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/increasing.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_lesseq_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/redefinitions-2.0.2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_gt_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_mdd.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_lesseq_orbitope.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_neq_par_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/piecewise_linear_non_continuous.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/circuit.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_piecewise_linear.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/sliding_sum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_exactly_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_piecewise_linear_non_continuous.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/nvalue_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/value_precede_chain_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/disjunctive_strict_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/atmost1.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_piecewise_linear_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dwst_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/among_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_least_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strict_lex2_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_decreasing_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_neural_net_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/distribute_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_most_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_min_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/all_disjoint.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_reachable_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/increasing_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_decreasing_int_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_max_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_less_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_less_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_sort_float_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_nvalue.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_min_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_circuit_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_sort_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/span.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/steiner.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_member_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/connected.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_piecewise_linear_non_continuous_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dpath_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/seq_precede_chain.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/bin_packing_capa.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_var_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_different_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_max.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_lesseq_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_network_flow.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/redefinitions-2.0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/inverse_in_range.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/distribute.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_diffn_nonstrict_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/solver_redefinitions.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bounded_dpath_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/value_precede_chain.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_lesseq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_connected_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_cost_mdd.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_greatereq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_path_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_var_opt_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/redefinitions.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/value_precede_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bounded_dpath_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/redefinitions-2.2.1.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_less_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_less_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/nosets.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_equal_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/regular_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_global_cardinality_low_up.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/increasing_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/subcircuit.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_disjoint_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_transitive_closure.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/all_different_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/table_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/strictly_increasing.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_inverse_in_range.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/bounded_path.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_sum_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjunctive.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_increasing_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dtree_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/range.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_seq_precede_chain_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular_nfa_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/element_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bounded_path_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_decreasing_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/mdd.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_table_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_member_float_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_exactly_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/count_geq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_lesseq_float_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/global_cardinality_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_partition_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_exactly_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/write.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/analyse_all_different.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_most.mzn.deprecated.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_writes.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/flatzinc_builtins.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_subgraph_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_eq_par_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_least_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_increasing_float_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_symmetric_all_different_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_decreasing_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bounded_path_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_sort_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/regular.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dpath_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_tree_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/member_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_global_cardinality_closed_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/disjunctive.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_lesseq_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_increasing_int_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_most_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/all_equal.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjunctive_strict_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_max_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_subcircuit_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/cumulative_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_lesseq_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_global_cardinality_low_up_closed.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_global_cardinality_low_up_closed_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_least_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/roots.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dreachable_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_network_flow_cost.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/symmetric_all_different.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_inverse.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_most_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/cumulative.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/minimum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_sort_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjoint_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_sliding_sum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_least.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_partiality.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex2_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/tree.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_eq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_span.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/value_precede_chain_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_increasing_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/value_precede_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_writes_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/global_cardinality_low_up.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_chain_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/bin_packing_load.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/mdd_nondet.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/redefinitions-2.5.2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/inverse.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/subgraph.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_equal_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_leq_par_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_decreasing_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/count_neq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_less_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_int_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_circuit.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_diffn_nonstrict.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_less_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_var_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex2_strict.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_diffn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_equal_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_nvalue_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/sort.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_most_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dag_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_geq_par_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_cost_mdd_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/strict_lex2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/diffn_nonstrict_k.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dtree_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/redefinitions-2.3.3.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_decreasing_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_member_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_lesseq_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/experimental.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/exactly.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_cumulative_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjunctive_strict_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/disjunctive_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/member_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_greater.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/all_equal_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_less_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_geq_par.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/member_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_table_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/set_member.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/all_equal_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_gt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_lesseq_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_diffn_k.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_network_flow_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/element.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/count_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bounded_dpath_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_neq_par.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_writes_seq_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bin_packing_capa_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/disjoint.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_partition_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_different_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/redefinitions-2.1.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_geost_nonoverlap_k_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_reachable_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/member.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_geost_bb.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/alldifferent.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_min_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_min.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_gt_par_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_geost_bb_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/global_cardinality_closed_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_less.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_diffn_nonstrict_k.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/partition_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_most_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_gt_par.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dsteiner.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/element_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_int_set_channel_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_steiner_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular_nfa.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_lt_par.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_var_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/sum_pred.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/diffn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_write_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_leq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_subgraph_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjoint.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_geost_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_reachable_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/table.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_eq_par.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/weighted_spanning_tree.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_most1.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_lesseq_orbitope.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_decreasing_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_increasing_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_opt_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_inverse_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_path_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_lesseq_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/count.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_lt_par_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_neq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/regular_regexp.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/global_cardinality.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/diffn_k.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/increasing_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular_nfa_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strict_lex2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dreachable_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_max_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjunctive_strict.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/globals.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dconnected_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_link_set_to_booleans_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_min_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular_nfa_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_less_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_span_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_alldifferent_except.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_subcircuit.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_decreasing_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_inverse_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_distribute_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_table_int_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_geost_nonoverlap_k.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/dag.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bounded_dpath_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjunctive_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_different_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_geost.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_subgraph_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_knapsack_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_diffn_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/roots_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_tree_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_inverse_in_range_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_lesseq_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/comparison_rel_array.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bin_packing.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/value_precede.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/global_cardinality_low_up_closed.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_roots_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_less_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_greatereq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_increasing_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/diffn_nonstrict.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_symmetric_all_different.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_sort.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_most.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/redefinitions-2.1.1.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_write.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/decreasing_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/reachable.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_less_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_lt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_geq_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_least_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_range.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_language.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_math.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_ite.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_random.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_coercion.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_internal.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_logic.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_string.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_reflect.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_sort.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_array.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_debug.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_compare.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/stdlib/stdlib_ann.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_sum_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/neural_net.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_less_float_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dreachable_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_opt_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_var_opt_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_wst_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/range_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_less_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/disjunctive_strict.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_max_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_chain_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_least_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bounded_path_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/among.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/bin_packing_load_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_lesseq_orbitope_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_most_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_mdd_nondet_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_disjoint.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_tree_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dreachable_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_increasing_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_max_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/decreasing_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_regular_regexp.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_cost_regular_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_eq_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_less_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_least.mzn.deprecated.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_sort.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dtree_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_alternative_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dpath_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_global_cardinality_low_up_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/atleast.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_seq_precede_chain_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjunctive_opt_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_table_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_disjunctive_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_strictly_increasing_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_decreasing_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_geq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/alldifferent_except.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_seq_precede_chain_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_alternative.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/cost_regular.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_mdd_nondet.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_lesseq_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/sort_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_greater.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/int_set_channel.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_cumulative_opt_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/exactly_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_table_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bounded_path_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_mdd_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_geost_smallest_bb.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_arg_min_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_member_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_lesseq_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/regular_nfa.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_value_precede_chain_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_global_cardinality_closed.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_diffn_nonstrict_k_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_less_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_neural_net.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_decreasing_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_less_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_member_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_connected.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/count_eq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/bin_packing.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_path_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_lesseq_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/all_different.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/global_cardinality_closed.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/inverse_fn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_increasing_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/strictly_decreasing.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/nvalue.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_decreasing_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_leq_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_path_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_knapsack.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_alldifferent_except_0_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/at_most1.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_link_set_to_booleans.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_greatereq_orbitope.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_lesseq_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_reachable_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_count_neq_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_inverse_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/alldifferent_except_0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_cost_regular.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_cumulative_opt.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_geost_smallest_bb_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_at_most1_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/decreasing_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_alldifferent_except_0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/network_flow.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_chain_less.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_wst.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/count_leq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/arg_max_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_steiner.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/writes.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_tree_enum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_sum_pred_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_all_equal_set_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_if_then_else_var_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_chain_lesseq_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dsteiner_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_sliding_sum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_sum_pred.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/writes_seq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dtree_enum_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_among_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_lesseq_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dag.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_among.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_range_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_dpath_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/increasing_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_sort_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_lex_lesseq_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_subgraph_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_bin_packing_capa.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_increasing_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_less_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/piecewise_linear.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/link_set_to_booleans.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/fzn_member_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/lex_less_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/std/alternative.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/table_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/redefinitions-2.0.2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/redefinitions-2.0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/redefinitions.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/inverse.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/domain_encodings.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/linear | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/linear/table_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/linear/redefinitions-2.0.2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/linear/redefinitions-2.0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/linear/redefinitions.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/linear/all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/linear/inverse.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear_old/linear/domain_encodings.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_bin_packing_load.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_roots.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_lex_lesseq_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_int_set_channel.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_distribute.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_lex_lesseq_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_cumulative.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_global_cardinality.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_at_least_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_member_bool_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_exactly_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_at_least_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_nvalue.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_member_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/redefinitions-2.0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/redefinitions.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_lex_less_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_all_equal_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_exactly_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_at_most_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_inverse.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_at_most_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_value_precede_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_count_eq.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_circuit.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_regular.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_diffn.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_member_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_lex_less_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_partition_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/gecode.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/precedence.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_disjoint.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_arg_max_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_decreasing_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_bin_packing.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_increasing_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_sort.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_range.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_value_precede_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_count_eq_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_table_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_table_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_arg_min_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_member_int_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_global_cardinality_closed.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_increasing_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_decreasing_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_link_set_to_booleans.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_inverse_set.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_sum_pred.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_among.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/gecode_presolver/fzn_bin_packing_capa.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_lesseq_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_lesseq_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_cumulative.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefinitions-2.0.2.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefinitions-2.0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefinitions.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_if_then_else_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefinitions-2.2.1.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_less_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_inverse_in_range.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_inverse.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_circuit.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_regular.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/subcircuit_wDummy.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_less_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_chain_lesseq_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefs_bool_imp.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefs_lin_imp.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/domain_encodings.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_chain_lesseq_orbitope.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/CHANGELOG.txt | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_inverse_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_if_then_else_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefs_lin_reifs.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_subcircuit.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_inverse_in_range_reif.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefs_lin_halfreifs.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_less_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/options.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_table_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_chain_lesseq_bool.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_lex_lesseq_float.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_alldifferent_except_0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/fzn_sliding_sum.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/linear/redefs_bool_reifs.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/g12_lazyfd | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/g12_lazyfd/redefinitions.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/g12_lazyfd/all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/fzn_cumulative.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/fzn_global_cardinality.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/redefinitions-2.0.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/redefinitions.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/fzn_disjunctive.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/fzn_inverse.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/fzn_all_different_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/fzn_value_precede_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/fzn_table_int.mzn | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/share/minizinc/geas/fzn_alldifferent_except_0.mzn | |
| -- Up-to-date: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solver_instance.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/utils_savestream.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/output.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solver.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/passes | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/passes/compile_pass.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/passes/gecode_pass.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/param_config.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/astiterator.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/astvec.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/builtins.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/flatten_internal.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/model.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/type.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/iter.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solver_config.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/json_parser.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/_thirdparty | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/_thirdparty/miniz.h | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/_thirdparty/b64 | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/_thirdparty/b64/decode.h | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/_thirdparty/b64/cencode.h | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/_thirdparty/b64/cdecode.h | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/_thirdparty/b64/encode.h | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/process.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solns2out.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/plugin.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/gc.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/support | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/support/regex.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/algorithms | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/algorithms/min_cut.h | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solver_instance_base.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/eval_par.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/copy.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/file_utils.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solver_instance_defs.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/typecheck.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/utils.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/statistics.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/htmlprinter.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/parser.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/MIPdomains.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/aststring.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/hash.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/exception.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/flattener.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/timer.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/ast.hpp | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/prettyprinter.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/optimize.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/mzn_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/gecode | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/gecode/gecode_constraints.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/gecode/fzn_space.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/nl | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/nl/nl_components.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/nl/nl_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/nl/nl_solverinstance.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/nl/nl_file.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/nl/nl_solreader.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/fzn_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/geas_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_cplex_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_xpress_wrap.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_xpress_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_osicbc_wrap.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_wrap.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_osicbc_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_gurobi_wrap.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_gurobi_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_cplex_wrap.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_solverinstance.hpp | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_solverinstance.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/MIP/MIP_scip_wrap.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/mzn_solverinstance.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/fzn_solverinstance.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/geas_solverinstance.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/gecode_solverinstance.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/gecode_solverfactory.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/geas | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/solvers/geas/geas_constraints.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/interrupt.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/pathfileprinter.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/flatten.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/astmap.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/values.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/chain_compressor.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/astexception.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/optimize_constraints.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/ast.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/flat_exp.hh | |
| -- Up-to-date: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc | |
| -- Up-to-date: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/support | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/support/regex_parser.tab.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/include/minizinc/parser.tab.hh | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/bin/minizinc | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/bin/mzn2doc | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/lib/cmake/libminizinc/libminizincConfig.cmake | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/lib/cmake/libminizinc/libminizincConfigVersion.cmake | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/lib/cmake/libminizinc/libminizincTargets.cmake | |
| -- Installing: /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/lib/cmake/libminizinc/libminizincTargets-release.cmake | |
| @nix { "action": "setPhase", "phase": "fixupPhase" } | |
| post-installation fixup | |
| shrinking RPATHs of ELF executables and libraries in /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4 | |
| shrinking /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/bin/minizinc | |
| shrinking /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/bin/mzn2doc | |
| strip is /nix/store/f73f3xbwv4zafyms2gi3djfgb9h3791b-binutils-2.35.1/bin/strip | |
| stripping (with command strip and flags -S) in /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/lib /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4/bin | |
| patching script interpreter paths in /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4 | |
| checking for references to /build/ in /nix/store/pzlnq851l144w4v18qsrgkcad4sd823k-minizinc-2.5.4... |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment