• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for claferIG-0.3.6 candidate source tarball

claferIG-0.3.6/

• CHANGES.md
• LICENSE
• Makefile
• README.md
• Setup.lhs
• alloyIG.jar
• claferIG.cabal
• IDEs/
  • claferIG-README.md
  • sublime-text-2/
    • Packages/
      • SublimeREPL/
        • config/
          • ClaferIG/
            • Default.sublime-commands
            • IGF.sublime-menu
            • IGS.sublime-menu
• lib/
  • minisatprover.md
• src/
  • Main.hs
  • Language/
    • Clafer/
      • IG/
        • AlloyIGInterface.hs
        • ClaferIG.hs
        • ClaferModel.hs
        • CommandLine.hs
        • CommandLineParser.hs
        • Constraints.hs
        • JSONGenerator.hs
        • Process.hs
        • Solution.hs
        • Sugarer.hs
• test/
  • test-suite.hs
• tools/
  • Makefile