Uploaded at Jan 29 15:17:33 2024 (UTC)
Succesfully tested at Jan 29 15:22:54 2024

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