chr-core (hackage): Constraint Handling Rules evaluation engine
Keywords: bsd3|control|library