6 lines
282 B
Text
6 lines
282 B
Text
The Pomap-library implements an ADT that maintains maps of partially
|
|
ordered elements. Whereas a total order allows you to say whether some
|
|
element is lower, equal or greater than another one, partial orders also
|
|
allow for a "don-t know" case.
|
|
|
|
WWW: https://mmottl.github.io/pomap/
|