Succesfully tested at Jun 5 03:43:11 2020

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 1.0.0
Package source:
combinatorial-1.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/combinatorial.git