Curry Package 'dimacs'