My unofficial picat http://picat-lang.org/ repository - View it on GitHub