The hylotab package

[ Tags: gpl, program, theorem-provers ] [ Propose Tags ]

HyLoTab is a proof-of-concept tableaux prover for hybrid logics originally written in 2002 by Jan van Eijck. It is no longer developped, but it is kept compatible with the syntax used in HyLoLib.

Properties

Versions 1.2.0, 1.2.1
Dependencies base (==4.*), hylolib (==1.4.*), mtl (==2.*) [details]
License GPL
Author Jan van Eijck, Guillaume Hoffmann
Maintainer guillaumh@gmail.com
Category Theorem Provers
Home page http://www.glyc.dc.uba.ar/intohylo/hylotab.php
Uploaded Thu Jul 5 01:37:35 UTC 2012 by GuillaumeHoffmann
Distributions NixOS:1.2.1
Executables hylotab
Downloads 531 total (11 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Successful builds reported [all 8 reports]
Hackage Matrix CI

Flags

NameDescriptionDefaultType
static

Build a static binary

DisabledAutomatic

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainer's Corner

For package maintainers and hackage trustees