MiniZinc is an open source programming language created in 2012.
git clone https://github.com/MiniZinc/libminizinc
The MiniZinc compiler
solve satisfy; output ["Hello, world!\n"];