Skip to content

Files

Latest commit

c7758fd · Mar 6, 2024

History

History

resources

Packaging Resources

This folder contains packaging resources for the MiniZinc bundle distributions. These files are used in the continuous integration of the MiniZinc tool chain and are not used in the compilation of the MiniZinc IDE. Resources in this folder are packaged depending on the targeted platform and are not available on all platforms.