#

partial-orders

Here are 2 public repositories matching this topic...

marcelosousa / poet

POET (Partial Order Exploration Tools)

concurrency research-tool partial-orders verification-toolchain

Updated Oct 19, 2018
C

Praveennaik8 / Relations_check_DMS_C

C program to display whether the given relation represents partial ordering poset and equivalence relation or not.

c dms relation-extraction equivalence partial-orders transitive poset

Updated Jun 25, 2021
C

Improve this page

Add a description, image, and links to the partial-orders topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the partial-orders topic, visit your repo's landing page and select "manage topics."