GitHub repository: vhui/chc-tools
Primary language: SMT
Description: Tools for manipulating CHC and related files