Demonstrator for CertainTrust

CertainTrust provides a means for the evaluation of propositional logic terms under uncertainty.

cFusion =

Technische Universität Darmstadt Software-Cluster