GitHub repository: Javier111228/chr
Description: Constraint Handling Rules