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

Directory listing for claferIG-0.4.3 candidate source tarball

claferIG-0.4.3/

• CHANGES.md
• LICENSE
• Makefile
• README.md
• Setup.lhs
• alloyIG.jar
• claferIG.cabal
• stack.yaml
• lib/
  • libminisatprover.dylib
  • libminisatprover.so
  • minisatprover.dll
• src/
  • Language/
    • Clafer/
      • IG/
        • AlloyIGInterface.hs
        • ClaferIG.hs
        • ClaferModel.hs
        • CommandLine.hs
        • CommandLineParser.hs
        • Constraints.hs
        • JSONGenerator.hs
        • Process.hs
        • Solution.hs
        • Sugarer.hs
• src-cmd/
  • Main.hs
• test/
  • test-suite.hs