{{stub}} {{language|CHR |exec=both |site=http://dtai.cs.kuleuven.be/CHR/ |gc=yes |safety=safe |checking=both }}