Uploaded at Apr 1 13:57:55 2020
Succesfully tested at Sep 28 03:54:42 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 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