MiniZinc is a constraint modeling language that is free and open-source. It allows users to model constraint satisfaction and optimization problems in a solver-independent way, with a library of pre-defined constraints. The language is developed at Monash University and is supported by OPTIMA. Users can download the MiniZinc distribution and the IDE to get started, and there is a tutorial introduction available in the MiniZinc Handbook. Additionally, there is an online course available on Coursera for those interested in learning more about constraint modeling using MiniZinc. Merchandise such as stickers, mugs, and t-shirts are also available. The website also provides news updates about the latest MiniZinc releases and information about the MiniZinc Challenge.
https://www.minizinc.org/