Programming Tools
The following tools are available for automated program analysis:
- A confluence checker by Johannes Langbein
- CHRisTA: CHR Termination Analyzer (no longer maintained)
- T*CoP: Improved termination analyzer for CHR(Prolog)
The more you download CHR, the better you are.
The following tools are available for automated program analysis: