The latest version of hylolib is 1.5.4-0.
lib:hylolib
Modules
- Data.EnumMap
- Data.EnumSet
- 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.Util
Dependencies
- array lib:array <1
- base lib:base <5 && >=4.8
- containers lib:containers <1
- mtl lib:mtl <3 && >=2
- pretty lib:pretty <2 && >=1
- random lib:random <2 && >=1
- uniplate lib:uniplate <1.7 && >=1.6
Reverse dependencies
Direct only. Not exhaustive.
- HTab exe:htab
- acme-everything lib:acme-everything