ocramz/constraint-programming-hs not found