The hylolib package

[Tags:gpl, library]

Properties

Versions 1.3.0, 1.3.1, 1.3.2, 1.3.3, 1.4.0
Dependencies array (==0.*), base (==4.*), containers (==0.*), mtl (==2.*), pretty (==1.*), QuickCheck (==1.*), random (==1.*), uniplate (==1.4.*) [details]
License GPL
Author Daniel Gorin
Maintainer dgorin@dc.uba.ar
Stability Unknown
Category Theorem Provers
Uploaded Sun Jan 9 23:12:28 UTC 2011 by GuillaumeHoffmann
Distributions
Downloads 955 total (11 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-22 [all 5 reports]

Modules

  • Data
    • Data.EnumMap
    • Data.EnumSet
    • Map
      • Data.Map.Arbitrary
    • Set
      • Data.Set.Arbitrary
  • HyLo
    • HyLo.Formula
      • HyLo.Formula.Rewrite
    • HyLo.InputFile
      • HyLo.InputFile.Lexer
      • HyLo.InputFile.OldLexer
      • HyLo.InputFile.OldParser
      • HyLo.InputFile.Parser
    • HyLo.Model
      • HyLo.Model.Herbrand
      • HyLo.Model.PrettyPrint
    • HyLo.Signature
      • HyLo.Signature.Simple
      • HyLo.Signature.String
    • HyLo.Test
    • HyLo.Util

Downloads

Maintainer's Corner

For package maintainers and hackage trustees