实例生成器

• Clafer 工具

  由 gsdlab 212 安装
  将 Clafer 编译器和实例生成器集成到 Sublime Text 2/3 中