Explanations Toolkit

Explanations Toolkit is a library containing several black+box and incremental methods for error explanations.

Features

• Reiter's algorithm implementation
• Black-box techniques based on CS-trees
• Incremental techniques

Download

• Project page on SourceForge.net