Popularity
2.6
Declining
Activity
0.0
Stable
1
2
1

Monthly Downloads: 33
Programming language: Haskell
License: LicenseRef-GPL
Tags: Logic    

tpdb alternatives and similar packages

Based on the "Logic" category.
Alternatively, view tpdb alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of tpdb or a related project?

Add another 'Logic' Package

README

haskell-tpdb

parser and prettyprinter for TPDB syntax (termination problem data base)

Build Status