tpdb (hackage): parser and prettyprinter for TPDB syntax (termination problem data base)
Keywords: gpl|library|logic|program