GitHub repository: Javier111228/cchr
Description: Copy of the CCHR Constraint Handling Rules implementation in C