Uploaded at Dec 10 19:38:11 2020
Succesfully tested at Jan 24 06:26:49 2021

Curry Package combinatorial

combinatorial

This package contains a collection of common non-deterministic and/or combinatorial operations. Many operations are intended to operate on sets. The representation of these sets is not hidden; rather sets are represented as lists. Ideally, these lists contains no duplicate elements and the order of their elements cannot be observed. In practice, these conditions are not enforced.


Download

Checkout with CPM:
cypm checkout combinatorial 3.0.0
Package source:
combinatorial-3.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/combinatorial.git