chr-core-0.1.1.0: Constraint Handling Rules