elmuerte/trese-ample

Traceabilty Analysis Framework. Part of the AMPLE Project.

Traceability Analysis Framework

Part of the research project AMPLE.

This repository contains modified versions of GNU Prolog for Java and GROOVE. These modifications have been given back and are, for a bigger part, part of these projects.