Hackage :: [Package]

hylolib: Tools for hybrid logics related programs

[ library, theorem-provers ] [ Propose Tags ]

Modules

[Last Documentation]

  • 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

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 1.3.0, 1.3.1, 1.3.2, 1.3.3, 1.4.0, 1.5.0, 1.5.1, 1.5.2, 1.5.3, 1.5.4
Dependencies array (<1), base (>=4 && <5), containers (<1), mtl (>=2 && <3), pretty (>=1 && <2), QuickCheck (>=1 && <2), random (>=1 && <2), uniplate (>=1.4 && <1.5) [details]
License LicenseRef-GPL
Author Daniel Gorin
Maintainer dgorin@dc.uba.ar
Category Theorem Provers
Uploaded by GuillaumeHoffmann at 2011-01-09T23:12:28Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 6783 total (23 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 7 reports]