class Rouge::Lexers::MiniZinc