A kernel for a Dependency Pairs termination tool
Latest commit fe4b348 Nov 27, 2015 Raul Gutierrez Changes to compile on GHC 7.10.2


This package provides an abstract framework for developing termination tools based on Dependency Pairs.
It mainly exists to enable the MuTerm and Narradar Termination Tools to reuse and share code.

Consult the LICENSE file for copyright issues.